Petri nets, event structures and domains (1981)

by M Nielsen, G D Plotkin, G Winskel
Venue:General Distributions in Process Algebra 429