G.: Petri nets, event structures and domains (1981)

by M Nielsen, G Plotkin, Winskel
Venue:Theor. Comp. Sc