Coordination Models and Languages
Simon Bliudze, Laura Bocchi |
Front Matter |
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
Alex Coto, Roberto Guanciale, Emilio Tuosto |
20-36 |
Coordination Languages
|
ARx: Reactive Programming for Synchronous Connectors
José Proença, Guillermina Cledou |
39-56 |
Towards Energy-, Time- and Security-Aware Multi-core Coordination
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck |
57-74 |
Message-Based Communication
|
Team Automata@Work: On Safe Communication
Maurice ter Beek, Rolf Hennicker, Jetty Kleijn |
77-85 |
Choreography Automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto |
86-106 |
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto |
107-124 |
Communications: Types and Implementations
|
Implementing Multiparty Session Types in Rust
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
127-136 |
GoPi: Compiling Linear and Static Channels in Go
Marco Giunti |
137-152 |
SFJ: An Implementation of Semantic Featherweight Java
Artem Usov, Ornela Dardha |
153-168 |
Service-Oriented Computing
|
Event-Based Customization of Multi-tenant SaaS Using Microservices
Espen Nordli, Phu Nguyen, Franck Chauvel, Hui Song |
171-180 |
Quality of Service Ranking by Quantifying Partial Compliance of Requirements
Agustín Martinez Suñé, Carlos Lopez 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
|
Architecture Modelling of Parametric Component-Based Systems
Maria Pittou, George Rahonis |
281-300 |
Weighted PCL over Product Valuation Monoids
Vagia Karyoti, Paulina Paraponiari |
301-319 |
Operational Representation of Dependencies in Context-Dependent Event Structures
G. Pinna |
320-338 |
Verification and Analysis
|
Towards a Formally Verified EVM in Production Environment
Xiyue Zhang, Yi Li, Meng Sun |
341-349 |
On Implementing Symbolic Controllability
Adrian Francalanza, Jasmine Xuereb |
350-369 |
Combining SLiVER with CADP to Analyze Multi-agent Systems
Luca Di Stefano, Frédéric Lang, Wendelin Serwe |
350-369 |
Formal Modeling and Analysis of Medical Systems
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
386-402 |
