11 citations · 69 across the 24 of their papers we have counts for
5 papers · 1 filter
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…