Hung, Dang Van, and Előd Knuth. “A Noninterleaving Semantics for Communicating Sequential Processes : A Fixed-Point Approach”. Acta Cybernetica 8, no. 3 (January 1, 1988): 293-311. Accessed April 20, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3344.