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

by M Nielsen, G D Plotkin, Winskel
Venue:part I. Theor. Comput. Sci