Petri nets, event structures, and domains (1981)

by M Nielsen, G Plotkin, G Winskel
Venue:Part I. Theor. Comp. Sci