Flemming Nielson Hanne Riis Nielson From CML to its Process Algebra. 179-219 1996 155 Theor. Comput. Sci. 1 db/journals/tcs/tcs155.html#NielsonN96 http://dx.doi.org/10.1016/0304-3975(95)00017-8