11 citations · 69 across the 24 of their papers we have counts for
24 papers
On Asynchrony and Reversibility in CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Asynchronous communication is a fundamental feature of modern distributed systems, where messages are emitted without requiring immediate synchronization with receivers. In process…
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida +1
Causal reversibility has emerged as an effective technique for debugging concurrent systems. In particular, rolling back and replaying a concurrent program with causal consistency…
A Logical 3-valued Semantics for Nondeterministic Choice
Alessandro Aldini, Pierluigi Graziani, Claudio Antares Mezzina +1
We propose a logical formalisation of computational errors in reactive, nondeterministic systems. To this aim, we introduce a new three-valued symmetric nondeterministic disjunctio…
On the Encodability of Reversible Process Calculi
Ivan Lanese, Claudio Antares Mezzina, Iain Phillips +2
Reversibility, allowing one to execute a program not only forwards as usual, but also backwards, has emerged as a fundamental concept in computing, with applications ranging from d…
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
Marco Bernardo, Andrea Esposito, Claudio A. Mezzina
We devise two complementary characterizations of hereditary history-preserving bisimilarity (HHPB): a denotational one, based on stable configuration structures, and an operational…
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
Marco Bernardo, Andrea Esposito, Claudio A. Mezzina
Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via f…
A Reversible Perspective on Petri Nets and Event Structures
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Event structures have emerged as a foundational model for concurrent computation, explaining computational processes by outlining the events and the relationships that dictate thei…
Checkpoint-based rollback recovery in session programming
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesire…
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Claudio Antares Mezzina, Georgiana Caltais
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational…
A Truly Concurrent Semantics for Reversible CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS)…
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent an…
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…
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Valentina Castiglioni, Claudio A. Mezzina
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational…
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 alr…
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…
Reversing Place Transition Nets
Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack…
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…
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…
Tuple spaces implementations and their efficiency
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Among the paradigms for parallel and distributed computing, the one popularized with Linda, and based on tuple spaces, is one of the least used, despite the fact of being intuitive…
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…
A Safety and Liveness Theory for Total Reversibility (Extended Abstract)
Claudio Antares Mezzina, Vasileios Koutavas
We study the theory of safety and liveness in a reversible calculus where reductions are totally ordered and rollbacks lead the systems to past states. Similar to previous work on…