Groote, J.F. and A. Ponse. The syntax and semantics of muCRL. A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors. Algebra of Communicating Processes, Utrecht 1994. Workshops in Computing, Springer-Verlag, pages 26-62, 1995.
(1994)
Languages mentioned
microCRL
{1990} Algebraic specification