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