Peter H. Welch Fred R. M. Barnes Communicating Mobile Processes. 175-210 2004 conf/birthday/2004csp 25 Years Communicating Sequential Processes http://dx.doi.org/10.1007/11423348_10 db/conf/birthday/csp2004.html#WelchB04