A. Laura Voinea

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

Collaborative distances:

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

2024

A Session Type System for Asynchronous Unreliable Broadcast Communication.

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

Log. Methods Comput. Sci., 2024

2023

A Theory of Composing Protocols.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

Art Sci. Eng. Program., 2023

2022

A Theory of Protocol Composition.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

CoRR, 2022

A Model of Actors and Grey Failures.

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

Proceedings of the Coordination Models and Languages, 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

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