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
Contents
Tutorials
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems.
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
3-19
Choreographic Development of Message-Passing Applications - A Tutorial.
Alex Coto, Roberto Guanciale, Emilio Tuosto
20-36
Coordination Languages
Towards Energy-, Time- and Security-Aware Multi-core Coordination.
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
57-74
Message-Based Communication
A Choreography-Driven Approach to APIs: The OpenDXL Case Study.
Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto
107-124
Communications: Types and Implementations
Implementing Multiparty Session Types in Rust.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
127-136
Service-Oriented Computing
Event-Based Customization of Multi-tenant SaaS Using Microservices.
Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song
171-180
Quality of Service Ranking by Quantifying Partial Compliance of Requirements.
Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo
181-189
Large-Scale Decentralised Systems
Time-Fluid Field-Based Coordination.
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
193-210
Resilient Distributed Collection Through Information Speed Thresholds.
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
211-229
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited.
Nicolas Gast, Diego Latella, Mieke Massink
230-239
Smart Contracts
A True Concurrent Model of Smart Contracts Executions.
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
243-260
Renegotiation and Recursion in Bitcoin Contracts.
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
261-278
Modelling
Operational Representation of Dependencies in Context-Dependent Event Structures.
G. Michele Pinna
320-338
Verification and Analysis
Combining SLiVER with CADP to Analyze Multi-agent Systems.
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
370-385
Formal Modeling and Analysis of Medical Systems.
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani
386-402