6 citations · 8 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
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…
cs.PL2022★ 6 cited
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…