The syntax and semantics of µCRL (1995)

by J F Groote, A Ponse
Venue:In: Proc. of Algebra of Communicating Processes, Workshops in Computing