D. V. Hung and E. Knuth. A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Acta Cybernetica, 8(3):293-311, 1988. [ PDF ]
This document was translated from BibTEX by bibtex2html