Table of Contents
|
Coordination Models and Languages
Ferruccio Damiani, Ornela Dardha |
Front Matter |
Tutorial
|
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Rudolf Schlatte, Einar Johnsen, Eduard Kamburjan, Silvia Tapia Tarifa |
3-19 |
Communications: Types and Implemenations
|
Manifestly Phased Communication via Shared Session Types
Chuta Sano, Stephanie Balzer, Frank Pfenning |
23-40 |
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
41-60 |
Relating Functional and Imperative Session Types
Hannes Saffrich, Peter Thiemann |
61-79 |
Safe Session-Based Asynchronous Coordination in Rust
Zak Cutner, Nobuko Yoshida |
80-89 |
A Session Subtyping Tool
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
90-105 |
Towards Probabilistic Session-Type Monitoring
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
106-120 |
Java Typestate Checker
João Mota, Marco Giunti, António Ravara |
121-133 |
Asynchronous Global Types in Co-logic Programming
Riccardo Bianchini, Francesco Dagnino |
134-146 |
Large-Scale Decentalised Systems
|
Tuple-Based Coordination in Large-Scale Situated Systems
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito |
149-167 |
A Theory of Automated Market Makers in DeFi
Massimo Bartoletti, James Chiang, Alberto Lluch-Lafuente |
168-187 |
ReGraDa: Reactive Graph Data
Leandro Galrinho, João Seco, Søren Debois, Thomas Hildebrandt, Håkon Norman, Tijs Slaats |
188-205 |
Modelling: Structures and Implementations
|
The Structure of Concurrent Process Histories
Chad Nester |
209-224 |
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts
Davide Basile, Maurice H. ter Beek |
225-238 |
A Practical Tool-Chain for the Development of Coordination Scenarios
Eva Kuehn |
239-254 |
Microservices
|
Microservice Dynamic Architecture-Level Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
257-275 |
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
276 - 284 |
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli |
285-299 |
