D. V. Hung and E. Knuth, “A noninterleaving semantics for communicating sequential processes : a fixed-point approach”, Acta Cybern, vol. 8, no. 3, pp. 293-311, Jan. 1988.