On the semantics of concurrency: partial orders and transition systems (1987)

by G Boudol, I Castellani
Venue:In: Proceedings of TAPSOFT’87, Lecture Notes in Computer Science 249