Abstract is missing.
- Choreographic Automata: A Case Study in Healthcare ManagementSourabh Pal, Ivan Lanese, Massimo Clo. 3-19 [doi]
- A Probabilistic Choreography Language for PRISMMarco Carbone, Adele Veschetti. 20-37 [doi]
- Encoding Petri Nets into CCSBenjamin Bogø, Andrea Burattin, Alceste Scalas. 38-55 [doi]
- Field-Based Coordination for Federated LearningDavide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli. 56-74 [doi]
- COTS: Connected OpenAPI Test Synthesis for RESTful ApplicationsChristian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto. 75-92 [doi]
- Modelling, Verifying and Testing the Contract Automata Runtime Environment with UppaalDavide Basile 0001. 93-110 [doi]
- Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency HandlingMuhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun. 111-128 [doi]
- An Enhanced Exchange Operator for XCGiorgio Audrito, Daniele Bortoluzzi 0002, Ferruccio Damiani, Giordano Scarso, Gianluca Torta. 129-145 [doi]
- The Concurrent Calculi Formalisation BenchmarkMarco Carbone, David Castro-Perez, Francisco Ferreira 0001, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon. 149-158 [doi]
- Team Automata: Overview and RoadmapMaurice H. ter Beek, Rolf Hennicker, José Proença. 161-198 [doi]
- An OpenWhisk Extension for Topology-Aware Allocation Priority PoliciesGiuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro. 201-218 [doi]
- Coconut: Typestates for Embedded SystemsArwa Hameed Alsubhi, Ornela Dardha. 219-238 [doi]
- TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts)João Afonso, Elvis Konjoh Selabi, Maurizio Murgia 0001, António Ravara, Emilio Tuosto. 239-257 [doi]
- ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm DesignGianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli. 258-276 [doi]
- Visualisation of Collective Systems with Sequit and SibillaNicola Del Giudice 0002, Federico Maria Cruciani, Michele Loreti. 277-294 [doi]
- Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)Adrian Francalanza, Gerard Tabone, Frank Pfenning. 295-313 [doi]
- SEArch: An Execution Infrastructure for Service-Based Software SystemsCarlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto. 314-330 [doi]