Table of Contents
|
Coordination Models and Languages
Ilaria Castellani, Francesco Tiezzi Editors |
Front Matter |
Regular Papers
|
Choreographic Automata: A Case Study in Healthcare Management
Sourabh Pal, Ivan Lanese, Massimo Clo |
3-19 |
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti |
20-37 |
Encoding Petri Nets into CCS
Benjamin Bogø, Andrea Burattin, Alceste Scalas |
38-55 |
Field-Based Coordination for Federated Learning
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli |
56-74 |
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Christian Bartolo Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
75-92 |
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal
Davide Basile |
93-110 |
Simulation-Based Decision Support for Cross-Organisational Workflows
Muhammad Rizwan Ali, Yngve Lamo, Violet Pun |
111-128 |
An Enhanced Exchange Operator for XC
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta |
129-145 |
Short Paper
|
The Concurrent Calculi Formalisation Benchmark
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
149-158 |
Survey Paper
|
Team Automata: Overview and Roadmap
Maurice Beek, Rolf Hennicker, José Proença |
161-198 |
Tool Papers
|
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies
Giuseppe de Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
201-218 |
TRAC: A Tool for Data-Aware Coordination
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto |
239-257 |
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli |
258-276 |
Visualisation of Collective Systems with Sequit and Sibilla
Nicola del Giudice, Federico Maria Cruciani, Michele Loreti |
277-294 |
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
Gerard Tabone, Adrian Francalanza, Frank Pfenning |
295-313 |
SEArch: An Execution Infrastructure for Service-Based Software Systems
Carlos Gustavo Lopez Pombo, Pablo Montepagano, Emilio Tuosto |
314-330 |
Designed by Inria-IES Team :  Hosted by HAL : 
|
