5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CL2023
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…
cs.PL2014★ 5 cited
A note on two notions of compliance
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that complia…