41 citations · 68 across the 15 of their papers we have counts for
3 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…
Behavioural Types for Local-First Software
Roland Kuhn, Hernán Melgratti, Emilio Tuosto
Peer-to-peer systems are the most resilient form of distributed computing, but the design of robust protocols for their coordination is difficult. This makes it hard to specify and…
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…