Event Structures (1986)

by G Winskel
Venue:In: Advances in Petri Nets