Trace theory (1987)

by A Mazurkiewicz
Venue:Advances in Petri Nets, 1986, Part II; Pro- Brown and M.L. Smith / Implementing CSP and VCR Tracing 345 ceedings of an Advanced Course (Bad Honnef, Sept