COORDINATION

Keyphrases

Publications

2024

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

volume 14676, 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 COORDINATION 14676 (2024)

2023

volume 13908, 2023

Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings COORDINATION 13908 (2023)

2022

volume 13271, 2022

Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings COORDINATION 13271 (2022)

2021

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION (2021)

volume 12717, 2021

Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings COORDINATION 12717 (2021)