| 2024 | A Probabilistic Choreography Language for PRISM. Marco Carbone, Adele Veschetti |
| 2024 | An Enhanced Exchange Operator for XC. Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta |
| 2024 | An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2024 | Choreographic Automata: A Case Study in Healthcare Management. Sourabh Pal, Ivan Lanese, Massimo Clo |
| 2024 | Coconut: Typestates for Embedded Systems. Arwa Hameed Alsubhi, Ornela Dardha |
| 2024 | Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings Ilaria Castellani, Francesco Tiezzi |
| 2024 | Encoding Petri Nets into CCS. Benjamin Bogø, Andrea Burattin, Alceste Scalas |
| 2024 | Field-Based Coordination for Federated Learning. Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli |
| 2024 | Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). Adrian Francalanza, Gerard Tabone, Frank Pfenning |
| 2024 | Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. Davide Basile |
| 2024 | SEArch: An Execution Infrastructure for Service-Based Software Systems. Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto |
| 2024 | ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli |
| 2024 | Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun |
| 2024 | TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto |
| 2024 | Team Automata: Overview and Roadmap. Maurice H. ter Beek, Rolf Hennicker, José Proença |
| 2024 | The Concurrent Calculi Formalisation Benchmark. Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2024 | Visualisation of Collective Systems with Sequit and Sibilla. Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti |