Kim Guldstrand Larsen;Glynn Winskel
-;-
Configuration structures, event structures and Petri nets
Theoretical Computer Science