S. Damy and G. R. Perrin, “A Refinement of Communicating Processes”, Comput. Inform., vol. 15, no. 6, pp. 555–569, Mar. 2012.