COORDINATION C

19 papers

YearTitle / Authors
2021A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.
Davide Basile, Maurice H. ter Beek
2021A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator.
Eva Maria Kuehn
2021A Session Subtyping Tool.
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021A Theory of Automated Market Makers in DeFi.
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021Asynchronous Global Types in Co-logic Programming.
Riccardo Bianchini, Francesco Dagnino
2021Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Ferruccio Damiani, Ornela Dardha
2021Deconfined Global Types for Asynchronous Sessions.
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021Java Typestate Checker.
João Mota, Marco Giunti, António Ravara
2021Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021Manifestly Phased Communication via Shared Session Types.
Chuta Sano, Stephanie Balzer, Frank Pfenning
2021Microservice Dynamic Architecture-Level Deployment Orchestration.
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2021ReGraDa: Reactive Graph Data.
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats
2021Relating Functional and Imperative Session Types.
Hannes Saffrich, Peter Thiemann
2021Safe Session-Based Asynchronous Coordination in Rust.
Zak Cutner, Nobuko Yoshida
2021ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
2021The Structure of Concurrent Process Histories.
Chad Nester
2021Towards Probabilistic Session-Type Monitoring.
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
2021Tuple-Based Coordination in Large-Scale Situated Systems.
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito