An introduction to event structures. In the lecture notes for the REX summerschool (1989)

by G Winskel
Venue:in temporal logic, May 88, in Springer Lecture Notes in C.S., vol.354