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