| 2025 | A Constraint Opinion Model. Fabio Gadducci, Carlos Olarte, Frank Valencia |
| 2025 | A Demonstrator for Self-organizing Robot Teams. Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli |
| 2025 | Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. Carlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto |
| 2025 | Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings Cinzia Di Giusto, António Ravara |
| 2025 | DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects. Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt |
| 2025 | Decidability Problems for Micro-Stipula. Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro |
| 2025 | Declarative Deployment Planning for Green Pulverised Collective Computational Systems. Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli |
| 2025 | Dialects for the CoAP IoT Messaging Protocol. Carolyn L. Talcott |
| 2025 | Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab |
| 2025 | Formalizing Errors in CCS with 3-Valued Logic. Alessandro Aldini, Claudio Antares Mezzina |
| 2025 | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi |
| 2025 | RebeCaos. José Proença, Maurice H. ter Beek |
| 2025 | Verified Parameterized Choreographies. Robert Rubbens, Petra van den Bos, Marieke Huisman |