IFIP TC6 Open Digital Library

22. COORDINATION 2020: Valletta, Malta

Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, COORDINATION 2020, Valletta, Malta, June 15-19, 2020

Simon Bliudze, Laura Bocchi

Springer, ISBN: 978-3-030-50028-3



CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems.

Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli


Choreographic Development of Message-Passing Applications - A Tutorial.

Alex Coto, Roberto Guanciale, Emilio Tuosto


Coordination Languages

ARx: Reactive Programming for Synchronous Connectors.

José Proença, Guillermina Cledou


Towards Energy-, Time- and Security-Aware Multi-core Coordination.

Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck


Message-Based Communication

Team Automata@Work: On Safe Communication.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn


Choreography Automata.

Franco Barbanera, Ivan Lanese, Emilio Tuosto


A Choreography-Driven Approach to APIs: The OpenDXL Case Study.

Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto


Communications: Types and Implementations

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida


GoPi: Compiling Linear and Static Channels in Go.

Marco Giunti


SFJ: An Implementation of Semantic Featherweight Java.

Artem Usov, Ornela Dardha


Service-Oriented Computing

Event-Based Customization of Multi-tenant SaaS Using Microservices.

Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song


Quality of Service Ranking by Quantifying Partial Compliance of Requirements.

Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo


Large-Scale Decentralised Systems

Time-Fluid Field-Based Coordination.

Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli


Resilient Distributed Collection Through Information Speed Thresholds.

Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli


Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited.

Nicolas Gast, Diego Latella, Mieke Massink


Smart Contracts

A True Concurrent Model of Smart Contracts Executions.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia


Renegotiation and Recursion in Bitcoin Contracts.

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino



Architecture Modelling of Parametric Component-Based Systems.

Maria Pittou, George Rahonis


Weighted PCL over Product Valuation Monoids.

Vagia Karyoti, Paulina Paraponiari


Operational Representation of Dependencies in Context-Dependent Event Structures.

G. Michele Pinna


Verification and Analysis

Towards a Formally Verified EVM in Production Environment.

Xiyue Zhang, Yi Li, Meng Sun


On Implementing Symbolic Controllability.

Adrian Francalanza, Jasmine Xuereb


Combining SLiVER with CADP to Analyze Multi-agent Systems.

Luca Di Stefano, Frédéric Lang, Wendelin Serwe


Formal Modeling and Analysis of Medical Systems.

Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani