Damy, S., & Perrin, G. R. (2012). A Refinement of Communicating Processes. Computing and Informatics, 15(6), 555–569. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/679