Syntax and semantics of µCRL (1995)

by J F Groote, A Ponse
Venue:in: Workshop on Algebra of Communicating Processes, Workshops in Computing