Winskel G, Petri nets, event structures and domains (1980)

by M Nielsen, G Plotkin
Venue:Part I