A. Laura Voinea

Orcid: 0000-0003-4482-205X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Session Type System for Asynchronous Unreliable Broadcast Communication.
Log. Methods Comput. Sci., 2024

2023
A Theory of Composing Protocols.
Art Sci. Eng. Program., 2023

A model of actors and grey failures.
Log. Methods Comput. Sci., 2023

2022
A Theory of Protocol Composition.
CoRR, 2022

2020
Typechecking Java Protocols with [St]Mungo.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019
Resource Sharing via Capability-Based Multiparty Session Types.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2016
Benefits of session types for software development.
Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016


  Loading...