19 citations · 51 across the 10 of their papers we have counts for
3 papers · 1 filter
Safe asynchronous mixed-choice for timed interactions
Jonah Pears, Laura Bocchi, Andy King
Mixed-choice has long been barred from models of asynchronous communication since it compromises key properties of communicating finite-state machines. Session types inherit this r…
revTPL: The Reversible Temporal Process Language
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina +1
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour…
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…