An introduction to event structures (1989)

by G Winskel
Venue:School and Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency