A. Laura Voinea

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Message Transmission

Resource Sharing

Parameter Estimation

Top Venues

Log. Methods Comput. Sci.

Publications

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. Log. Methods Comput. Sci. 20 (3) (2024)
Laura Bocchi, Dominic Orchard, A. Laura Voinea
A Theory of Composing Protocols. Art Sci. Eng. Program. 7 (2) (2023)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. Log. Methods Comput. Sci. 19 (4) (2023)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A Model of Actors and Grey Failures. COORDINATION (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. CoRR (2022)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Typechecking Java Protocols with [St]Mungo. FORTE (2020)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Resource Sharing via Capability-Based Multiparty Session Types. IFM (2019)
Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. CoRR (2019)
A. Laura Voinea, Simon J. Gay
Benefits of session types for software development. PLATEAU@SPLASH (2016)