Adriana Laura Voinea

12 papers B 1C 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mixed Choice in Asynchronous Multiparty Session Types.
CoRR
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon J. Thompson
2024 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
Log. Methods Comput. Sci.
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2024 — ed.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024
Erlang
Kiko Fernandez-Reyes, Adriana Laura Voinea
2023 J jnl
A Theory of Composing Protocols.
Art Sci. Eng. Program.
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2023 J jnl
A model of actors and grey failures.
Log. Methods Comput. Sci.
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 C conf
A Model of Actors and Grey Failures.
COORDINATION
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 J jnl
A Theory of Protocol Composition.
CoRR
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2022 J jnl
A model of actors and grey failures.
CoRR
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2020 C conf
Typechecking Java Protocols with [St]Mungo.
FORTE
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2019 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
CoRR
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2019 B conf
Resource Sharing via Capability-Based Multiparty Session Types.
IFM
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2016 — conf
Benefits of session types for software development.
PLATEAU@SPLASH
Adriana Laura Voinea, Simon J. Gay