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