9 citations · 15 across the 3 of their papers we have counts for
6 papers
Reversible Causal Nets and Reversible Event Structures
Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips +2
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event s…
A Parametric Framework for Reversible Pi-Calculi
Doriana Medic, Claudio Antares Mezzina, Iain Phillips +1
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel ext…
A Parametric Framework for Reversible -Calculi
Doriana Medic, Claudio Antares Mezzina, Iain Phillips +1
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel ext…
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…
Reversible Sessions Using Monitors
Claudio A. Mezzina, Jorge A. Pérez
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communicati…