6 citations · 7 across the 3 of their papers we have counts for
4 papers
Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea +1
We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state…
A model of actors and grey failures
Laura Bocchi, Julien Lange, Simon Thompson +1
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/st…
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, A. Laura Voinea
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and t…
A Session Type System for Asynchronous Unreliable Broadcast Communication
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…