| 2020 | Weighted PCL over Product Valuation Monoids. | Vagia Karyoti, Paulina Paraponiari |
| 2020 | GoPi: Compiling Linear and Static Channels in Go. | Marco Giunti |
| 2020 | Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. | Nicolas Gast, Diego Latella, Mieke Massink |
| 2020 | A Choreography-Driven Approach to APIs: The OpenDXL Case Study. | Leonardo Frittelli, Facundo Maldonado, Hernn C. Melgratti, Emilio Tuosto |
| 2020 | On Implementing Symbolic Controllability. | Adrian Francalanza, Jasmine Xuereb |
| 2020 | Choreographic Development of Message-Passing Applications - A Tutorial. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | Team Automata@Work: On Safe Communication. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | Renegotiation and Recursion in Bitcoin Contracts. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2020 | A True Concurrent Model of Smart Contracts Executions. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2020 | Choreography Automata. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. | Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli |
| 2020 | Resilient Distributed Collection Through Information Speed Thresholds. | Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
| 2019 | Automatic Quality-of-Service Evaluation in Service-Oriented Computing. | Agustn E. Martinez Su, Carlos Gustavo Lpez Pombo |
| 2019 | Representing Dependencies in Event Structures. | G. Michele Pinna |
| 2019 | ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. | Rocco De Nicola, Tan Duong, Michele Loreti |
| 2019 | Reversing P/T Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
| 2019 | Towards Races in Linear Logic. | Wen Kokke, J. Garrett Morris, Philip Wadler |
| 2019 | Scan: A Simple Coordination Workbench. | Jean-Marie Jacquet, Manel Barkallah |
| 2019 | DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. | Roberto Guanciale |
| 2019 | No More, No Less - A Formal Model for Serverless Computing. | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
| 2019 | Coordination of Tasks on a Real-Time OS. | Guillermina Cledou, Jos Proena, Bernhard H. C. Sputh, Eric Verhulst |
| 2019 | Aggregate Processes in Field Calculus. | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
| 2019 | Self-organising Coordination Regions: A Pattern for Edge Computing. | Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali |
| 2019 | Verification of Concurrent Design Patterns with Data. | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
| 2019 | Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. | Davide Basile, Maurice H. ter Beek, Rosario Pugliese |