COORDINATION

Keyphrases

Publications

2023

Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION (2023)
Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
Legal Contracts Amending with [inline-graphic not available: see fulltext]. COORDINATION (2023)
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. COORDINATION (2023)
Jonah Pears, Laura Bocchi, Andy King
Safe Asynchronous Mixed-Choice for Timed Interactions. COORDINATION (2023)
José Proença, Luc Edixhoven
Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION (2023)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION (2023)
Loïc Desgeorges, Loïc Germerie Guizouarn
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. COORDINATION (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Rollback Recovery in Session-Based Programming. COORDINATION (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
JoT: A Jolie Framework for Testing Microservices. COORDINATION (2023)
Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega
A Formal MDE Framework for Inter-DSL Collaboration. COORDINATION (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning About Choreographic Programs. COORDINATION (2023)
Frank Pfenning, Klaas Pruiksma
Relating Message Passing and Shared Memory, Proof-Theoretically. COORDINATION (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

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)

volume 12134, 2020

Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings COORDINATION 12134 (2020)