Search

• < Previous
• 1
• Next >

---

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

Marco Bernardo ; Claudio A. Mezzina.

Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone already, thus making it possible to bring the system back to a past consistent state. Time reversibility is instead&nbsp;[&hellip;]

---

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 communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to&nbsp;[&hellip;]

---