11 citations · 69 across the 24 of their papers we have counts for
3 papers · 1 filter
Reliability and Fault-Tolerance by Choreographic Design
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina +1
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed…
Choreographies for Automatic Recovery
Claudio Antares Mezzina, Emilio Tuosto
We propose a choreographic model of reversible computations based on a conservative extension of global graphs and communicating finite-state machines. The main advantage of our ap…
Causal Consistency for Reversible Multiparty Protocols
Claudio Antares Mezzina, Jorge A. Pérez
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for commun…