A Perspective on Multiagent Coordination Models. - Laura Bocchi; Paolo Ciancarini (Communication in Multiagent Systems, 2003)

A Calculus for Long-Running Transactions. - Laura Bocchi; Cosimo Laneve; Gianluigi Zavattaro (FMOODS, 2003)

Compositional Nested Long Running Transactions. - Laura Bocchi (FASE, 2004)

A Process Calculus of Atomic Commit. - Laura Bocchi; Lucian Wischik (WSFM, 2004)

Transactional Aspects in Semantic Based Discovery of Services. - Laura Bocchi; Paolo Ciancarini; Davide Rossi (COORDINATION, 2005)

An OWL-S based approach to express grid services coordination. - Laura Bocchi; Paolo Ciancarini; Rocco Moretti; Valentina Presutti; Davide Rossi (SAC, 2005)

On the Impact of Formal Methods in the SOA. - Laura Bocchi; Paolo Ciancarini (FACS, 2005)

Atomic Commit and Negotiation in Service Oriented Computing. - Laura Bocchi; Roberto Lucchi (COORDINATION, 2006)

Algebraic Semantics of Service Component Modules. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WADT, 2006)

A Formal Approach to Service Component Architecture. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WS-FM, 2006)

Transactional aspects in coordination and composition of web services. - Laura Bocchi (2006)

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. - João Abreu; Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (FORTE, 2007)

From BPEL to SRML: A Formal Transformational Approach. - Laura Bocchi; Yi Hong 005; Antónia Lopes; José Luiz Fiadeiro (WS-FM, 2007)

Service-Oriented Modelling of Automotive Systems. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (COMPSAC, 2008)

Engineering Service Oriented Applications: From StPowla Processes to SRML Models. - Laura Bocchi; Stephen Gorton; Stephan Reiff-Marganiec (FASE, 2008)

A Use-Case Driven Approach to Formal Service-Oriented Modelling. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (ISoLA, 2008)

Structure and Behaviour of Virtual Organisation Breeding Environments - Laura Bocchi; José Luiz Fiadeiro; Noor Rajper; Stephan Reiff-Marganiec (FAVO, 2009)

From Architectural to Behavioural Specification of Services. - Laura Bocchi; José Luiz Fiadeiro; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FESCA@ETAPS, 2009)

A Theory of Design-by-Contract for Distributed Multiparty Interactions. - Laura Bocchi; Kohei Honda 001; Emilio Tuosto; Nobuko Yoshida (CONCUR, 2010)

Testing Attribute-Based Transactions in SOC. - Laura Bocchi; Emilio Tuosto (FMOODS/FORTE, 2010)

Early Model-Analysis of Logistics Systems. - Freeha Azmat; Laura Bocchi; José Luiz Fiadeiro (ICSOC Workshops, 2010)

BPMN Modelling of Services with Dynamically Reconfigurable Transactions. - Laura Bocchi; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (ICSOC, 2010)

A Java Inspired Semantics for Transactions in SOC. - Laura Bocchi; Emilio Tuosto (TGC, 2010)

From StPowla processes to SRML models. - Laura Bocchi; Stephen Gorton; Stephan Reiff-Marganiec (Formal Aspects Comput., 2010)

The Sensoria Reference Modelling Language. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi; João Abreu (Results of the SENSORIA Project, 2011)

Asynchronous Distributed Monitoring for Multiparty Session Enforcement. - Tzu-Chun Chen; Laura Bocchi; Pierre-Malo Deniélou; Kohei Honda 001; Nobuko Yoshida (TGC, 2011)

Amending Contracts for Choreographies - Laura Bocchi; Julien Lange; Emilio Tuosto (ICE, 2011)

An abstract model of service discovery and binding. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (Formal Aspects Comput., 2011)

A Multiparty Multi-session Logic. - Laura Bocchi; Romain Demangeon; Nobuko Yoshida (TGC, 2012)

Three Algorithms and a Methodology for Amending Contracts for Choreographies. - Laura Bocchi; Julien Lange; Emilio Tuosto (Sci. Ann. Comput. Sci., 2012)

Embedding Session Types in HML. - Laura Bocchi; Romain Demangeon (PLACES, 2013)

Timed Multiparty Session Types. - Laura Bocchi; Weizhen Yang; Nobuko Yoshida (CONCUR, 2014)

Meeting Deadlines Together. - Laura Bocchi; Julien Lange; Nobuko Yoshida (CONCUR, 2015)

Attribute-based transactions in service oriented computing. - Laura Bocchi; Emilio Tuosto (Math. Struct. Comput. Sci., 2015)

On the behaviour of general purpose applications on cloud storages. - Laura Bocchi; Hernán C. Melgratti (Serv. Oriented Comput. Appl., 2015)

Timed runtime monitoring for multiparty conversations. - Rumyana Neykova; Laura Bocchi; Nobuko Yoshida (Formal Aspects Comput., 2017)

Monitoring networks through multiparty session types. - Laura Bocchi; Tzu-Chun Chen; Romain Demangeon; Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 2017)

Progress-Preserving Refinements of CTA. - Massimo Bartoletti; Laura Bocchi; Maurizio Murgia 001 (CONCUR, 2018)

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. - Laura Bocchi; Maurizio Murgia 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2019)

Preface for the special issue on Interaction and Concurrency Experience 2017. - Massimo Bartoletti; Laura Bocchi; Ludovic Henrio; Sophia Knight (J. Log. Algebraic Methods Program., 2019)

On Resolving Non-determinism in Choreographies. - Laura Bocchi; Hernán C. Melgratti; Emilio Tuosto (Log. Methods Comput. Sci., 2020)

The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (FORTE, 2022)

A Theory of Protocol Composition. - Laura Bocchi; Dominic Orchard; A. Laura Voinea (CoRR, 2022)

Safe Asynchronous Mixed-Choice for Timed Interactions. - Jonah Pears; Laura Bocchi; Andy King (COORDINATION, 2023)

A model of actors and grey failures. - Laura Bocchi; Julien Lange; Simon Thompson 001; A. Laura Voinea (Log. Methods Comput. Sci., 2023)

A Theory of Composing Protocols. - Laura Bocchi; Dominic Orchard; A. Laura Voinea (Art Sci. Eng. Program., 2023)

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. - Jonah Pears; Laura Bocchi; Raymond Hu (Erlang, 2024)

Asynchronous Subtyping by Trace Relaxation. - Laura Bocchi; Andy King; Maurizio Murgia 001 (TACAS (1), 2024)

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. - Jonah Pears; Laura Bocchi; Maurizio Murgia 001; Andy King (CoRR, 2024)

revTPL: The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (Log. Methods Comput. Sci., 2024)

Abstract Subtyping for Asynchronous Multiparty Sessions. - Laura Bocchi; Andy King; Maurizio Murgia 001; Simon Thompson 001 (CONCUR, 2025)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions. - Jonah Pears; Laura Bocchi; Maurizio Murgia 001; Andy King (Log. Methods Comput. Sci., 2025)