Laura Bocchi

According to our database, Laura Bocchi authored at least 50 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

revTPL: The Reversible Temporal Process Language.

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Log. Methods Comput. Sci., 2024

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.

Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King

CoRR, 2024

Asynchronous Subtyping by Trace Relaxation.

Laura Bocchi, Andy King, Maurizio Murgia

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors.

Jonah Pears, Laura Bocchi, Raymond Hu

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023

A Theory of Composing Protocols.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

Art Sci. Eng. Program., 2023

A model of actors and grey failures.

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Log. Methods Comput. Sci., 2023

Safe Asynchronous Mixed-Choice for Timed Interactions.

Jonah Pears, Laura Bocchi, Andy King

Proceedings of the Coordination Models and Languages, 2023

2022

A Theory of Protocol Composition.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

CoRR, 2022

The Reversible Temporal Process Language.

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2020

On Resolving Non-determinism in Choreographies.

Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto

Log. Methods Comput. Sci., 2020

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

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2019

2018

Progress-Preserving Refinements of CTA.

Massimo Bartoletti, Laura Bocchi, Maurizio Murgia

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Monitoring networks through multiparty session types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 2017

Timed runtime monitoring for multiparty conversations.

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

Formal Aspects Comput., 2017

2015

On the behaviour of general purpose applications on cloud storages.

Laura Bocchi, Hernán C. Melgratti

Serv. Oriented Comput. Appl., 2015

Attribute-based transactions in service oriented computing.

Laura Bocchi, Emilio Tuosto

Math. Struct. Comput. Sci., 2015

Meeting Deadlines Together.

Laura Bocchi, Julien Lange, Nobuko Yoshida

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Timed Multiparty Session Types.

Laura Bocchi, Weizhen Yang, Nobuko Yoshida

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Embedding Session Types in HML.

Laura Bocchi, Romain Demangeon

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

2012

Three Algorithms and a Methodology for Amending Contracts for Choreographies.

Laura Bocchi, Julien Lange, Emilio Tuosto

Sci. Ann. Comput. Sci., 2012

A Multiparty Multi-session Logic.

Laura Bocchi, Romain Demangeon, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

An abstract model of service discovery and binding.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Formal Aspects Comput., 2011

Amending Contracts for Choreographies

Laura Bocchi, Julien Lange, Emilio Tuosto

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

The Sensoria Reference Modelling Language.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

From StPowla processes to SRML models.

Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec

Formal Aspects Comput., 2010

A Java Inspired Semantics for Transactions in SOC.

Laura Bocchi, Emilio Tuosto

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

BPMN Modelling of Services with Dynamically Reconfigurable Transactions.

Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Early Model-Analysis of Logistics Systems.

Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro

Proceedings of the Service-Oriented Computing, 2010

Testing Attribute-Based Transactions in SOC.

Laura Bocchi, Emilio Tuosto

Proceedings of the Formal Techniques for Distributed Systems, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.

Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

From Architectural to Behavioural Specification of Services.

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Structure and Behaviour of Virtual Organisation Breeding Environments

Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

2008

A Use-Case Driven Approach to Formal Service-Oriented Modelling.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Leveraging Applications of Formal Methods, 2008

Engineering Service Oriented Applications: From StPowla Processes to SRML Models.

Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Service-Oriented Modelling of Automotive Systems.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

From BPEL to SRML: A Formal Transformational Approach.

Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Transactional aspects in coordination and composition of web services.

Laura Bocchi

PhD thesis, 2006

A Formal Approach to Service Component Architecture.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Algebraic Semantics of Service Component Modules.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Atomic Commit and Negotiation in Service Oriented Computing.

Laura Bocchi, Roberto Lucchi

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

On the Impact of Formal Methods in the SOA.

Laura Bocchi, Paolo Ciancarini

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

An OWL-S based approach to express grid services coordination.

Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Transactional Aspects in Semantic Based Discovery of Services.

Laura Bocchi, Paolo Ciancarini, Davide Rossi

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

A Process Calculus of Atomic Commit.

Laura Bocchi, Lucian Wischik

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Compositional Nested Long Running Transactions.

Laura Bocchi

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

A Calculus for Long-Running Transactions.

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

A Perspective on Multiagent Coordination Models.

Laura Bocchi, Paolo Ciancarini

Proceedings of the Communication in Multiagent Systems, 2003