Highly Influenced

# A Model for Communicating Sequential Processes

@inproceedings{Hoare1980AMF, title={A Model for Communicating Sequential Processes}, author={C. A. R. Hoare}, booktitle={On the Construction of Programs}, year={1980} }

- Published 1980 in On the Construction of Programs

This thesis describes tile construction and mathematical properties of a model for communicating sequential processes. We define a semantic model for processes based on failures, which encapsulate certain finite aspects of process behaviour and allow an elegant treatment of nondeterminism. We define a set of process operations, including nondeterministic choice, conditional composition, and various forms of' parallel composition. These process operations enjoy many interesting mathematicalâ€¦Â CONTINUE READING

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

61 Extracted Citations

18 Extracted References

Similar Papers