Communicating mobile processes: introducing occam-pi (2005)

by P Welch, F Barnes
Venue:in 25 Years of CSP, ser. LNCS