Trace Structures and other Models for Concurrency (1995)

by M Nielsen, G Winskel
Venue:The Book of Traces, World Scientific, Singapore