An introduction to event structures (1989)

by G Winskel
Venue:In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of LNCS