20 citations · 39 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.LO2019
Representing Dependencies in Event Structures
G. Michele Pinna
Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the cause…