Damy, S. and Perrin, G. R. (2012) “A Refinement of Communicating Processes”, COMPUTING AND INFORMATICS, 15(6), pp. 555–569. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/679 (Accessed: 19 April 2024).