introduction to event structures,” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (1989)

by “An
Venue:The Netherlands, Springer-Verlag, LNCS