A. Laura Voinea

According to our database, A. Laura Voinea authored at least 7 papers between 2016 and 2023.

Collaborative distances:

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

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

2022

A Theory of Protocol Composition.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

CoRR, 2022

2020

Typechecking Java Protocols with [St]Mungo.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

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

2019

A Session Type System for Asynchronous Unreliable Broadcast Communication.

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay

CoRR, 2019

Resource Sharing via Capability-Based Multiparty Session Types.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2016

Benefits of session types for software development.

A. Laura Voinea, Simon J. Gay

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016