Coordination Models and Languages

1. Front Matter

   Pages i-xvi

   PDF

2. Tutorial

   1. Front Matter

      Pages 1-1

      PDF

   2. Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

      • Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

      Pages 3-19

3. Communications: Types and Implemenations

   1. Front Matter

      Pages 21-21

      PDF

   2. Manifestly Phased Communication via Shared Session Types

      • Chuta Sano, Stephanie Balzer, Frank Pfenning

      Pages 23-40

   3. Deconfined Global Types for Asynchronous Sessions

      • Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

      Pages 41-60

   4. Relating Functional and Imperative Session Types

      • Hannes Saffrich, Peter Thiemann

      Pages 61-79

   5. Safe Session-Based Asynchronous Coordination in Rust

      • Zak Cutner, Nobuko Yoshida

      Pages 80-89

   6. A Session Subtyping Tool

      • Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro

      Pages 90-105

   7. Towards Probabilistic Session-Type Monitoring

      • Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

      Pages 106-120

   8. Java Typestate Checker

      • João Mota, Marco Giunti, António Ravara

      Pages 121-133

   9. Asynchronous Global Types in Co-logic Programming

      • Riccardo Bianchini, Francesco Dagnino

      Pages 134-146

4. Large-Scale Decentalised Systems

   1. Front Matter

      Pages 147-147

      PDF

   2. Tuple-Based Coordination in Large-Scale Situated Systems

      • Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito

      Pages 149-167

   3. A Theory of Automated Market Makers in DeFi

      • Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente

      Pages 168-187

   4. ReGraDa: Reactive Graph Data

      • Leandro Galrinho, João Costa Seco, Søren Debois, Thomas Hildebrandt, Håkon Norman, Tijs Slaats

      Pages 188-205

5. Modelling: Structures and Implementations

   1. Front Matter

      Pages 207-207

      PDF

   2. The Structure of Concurrent Process Histories

      • Chad Nester

      Pages 209-224

   3. A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

      • Davide Basile, Maurice H. ter Beek

      Pages 225-238

   4. A Practical Tool-Chain for the Development of Coordination Scenarios

      • Eva Maria Kuehn

      Pages 239-254

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.

The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference.

Due to the Corona pandemic this event was held virtually.

• artificial intelligence
• communication
• computer networks
• computer programming
• computer science
• computer systems
• databases
• distributed computer systems
• distributed systems
• engineering
• internet
• linguistics
• mathematics
• network protocols
• object-oriented programming
• parallel processing systems
• program compilers
• software architecture
• software design
• software engineering

• University of Turin, Turin, Italy

  Ferruccio Damiani

• Sir Alwyn William Building, University of Glasgow, Glasgow, UK

  Ornela Dardha

Policies and ethics