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