A Model for Communicating Sequential Processes

  title={A Model for Communicating Sequential Processes},
  author={C. A. R. Hoare},
  booktitle={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

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 18 references

A finite delay operator in Synchronous CCS

  • R. Milner
  • Internal Report CSR-116-82,
  • 1982

An cnla, rged definition and complete axiomatization of observational congruence of finite processes, Springer LNCS Vo1.137

  • Darondeau, Ph
  • 1982

A Theory of Communicating Processes, Technical Report PRG- 16, Programming Research Croup, University of Oxford (1981)

  • C.A.R. Hoare, S. D. Brookes, A. W. Roscoe
  • 1981

Formal semantics of nondeterminism and parallelism

  • J. R. Kennaway
  • Ph.D thesis,
  • 1981

Similar Papers

Loading similar papers…