| 2020 | A Choreography-Driven Approach to APIs: The OpenDXL Case Study. Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto |
| 2020 | A True Concurrent Model of Smart Contracts Executions. Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2020 | ARx: Reactive Programming for Synchronous Connectors. José Proença, Guillermina Cledou |
| 2020 | Architecture Modelling of Parametric Component-Based Systems. Maria Pittou, George Rahonis |
| 2020 | CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli |
| 2020 | Choreographic Development of Message-Passing Applications - A Tutorial. Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | Choreography Automata. Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | Combining SLiVER with CADP to Analyze Multi-agent Systems. Luca Di Stefano, Frédéric Lang, Wendelin Serwe |
| 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 Simon Bliudze, Laura Bocchi |
| 2020 | Event-Based Customization of Multi-tenant SaaS Using Microservices. Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song |
| 2020 | Formal Modeling and Analysis of Medical Systems. Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
| 2020 | GoPi: Compiling Linear and Static Channels in Go. Marco Giunti |
| 2020 | Implementing Multiparty Session Types in Rust. Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2020 | On Implementing Symbolic Controllability. Adrian Francalanza, Jasmine Xuereb |
| 2020 | Operational Representation of Dependencies in Context-Dependent Event Structures. G. Michele Pinna |
| 2020 | Quality of Service Ranking by Quantifying Partial Compliance of Requirements. Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo |
| 2020 | Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. Nicolas Gast, Diego Latella, Mieke Massink |
| 2020 | Renegotiation and Recursion in Bitcoin Contracts. Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2020 | Resilient Distributed Collection Through Information Speed Thresholds. Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
| 2020 | SFJ: An Implementation of Semantic Featherweight Java. Artem Usov, Ornela Dardha |
| 2020 | Team Automata@Work: On Safe Communication. Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | Time-Fluid Field-Based Coordination. Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli |
| 2020 | Towards Energy-, Time- and Security-Aware Multi-core Coordination. Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck |
| 2020 | Towards a Formally Verified EVM in Production Environment. Xiyue Zhang, Yi Li, Meng Sun |
| 2020 | Weighted PCL over Product Valuation Monoids. Vagia Karyoti, Paulina Paraponiari |