×

zbMATH — the first resource for mathematics

A theory of communicating sequential processes. (English) Zbl 0628.68025
A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondeterminism are fully taken into account.

MSC:
68N25 Theory of operating systems
PDF BibTeX XML Cite
Full Text: DOI