Basic Notions of Trace Theory, in (1988)

by A Mazurkiewicz
Venue:Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer LNCS 354