Damy, S.; Perrin, G. R. A Refinement of Communicating Processes. Comput. Inform. 2012, 15, 555-569.