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