The syntax and semantics of CRL (1995)

by J F Groote, A Ponse
Venue:In Proc. 1st Workshop on the Algebra of Communicating Processes, Workshops in Computing Series