The syntax and semantics of CRL (1994)

by J F Groote, A Ponse
Venue:In A. Ponse, C. Verhoef and S.F.M. van Vlijmen, eds, Algebra of Communicating Processes, Workshops in Computing