Communicating mobile processes: introducing occam-pi (2005)

by Peter H Welch, Fred R M Barnes
Venue:In 25 Years of CSP