Petri nets, event structures (1981)

by M Nielsen, G Plotkin, G Winskel
Venue:and domains (I). Theoretical Computer Science