Damy, S. and Perrin, G.R. 2012. A Refinement of Communicating Processes. Computing and Informatics. 15, 6 (Mar. 2012), 555–569.