From CML to its process algebra. (1996)

by Flemming Nielson, Hanne Riis Nielson
Venue:Theor. Comput. Sci.