Reversibility and asymmetric conflict in event structures

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 912 citations

Petri Net, Engineering, Automated Reasoning +5

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 812 citations

Abstract Machine, Design, Unconventional Computing +3

Event structures

Glynn Winskel · 1987 · 392 citations

Refinement of actions and equivalence notions for concurrent systems

Rob van Glabbeek, Ursula Goltz · Acta Informatica · 2001 · 244 citations

Engineering, Automated Reasoning, Concurrent Programming +5

Reversing algebraic process calculi

Iain Phillips, Irek Ulidowski · The Journal of Logic and Algebraic Programming · 2007 · 167 citations

Formal Methods, Process Control, Computer Algebra +3