Hung, D.V. and Knuth, E. 1988. A noninterleaving semantics for communicating sequential processes : a fixed-point approach. Acta Cybernetica. 8, 3 (Jan. 1988), 293-311.