Partial Correctness of Communicating Sequential Processes - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Z. C. Chen, C. A. R. Hoare. Partial Correctness of Communicating Sequential Processes. In Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981. pages 1-12, IEEE Computer Society, 1981.

The following publications are possibly variants of this publication:

Communicating Sequential ProcessesC. A. R. Hoare. Prentice-Hall, 1985.

Communicating Sequential ProcessesC. A. R. Hoare. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 157-186, ACM / Morgan & Claypool, 2021. [doi]

A Model for Communicating Sequential ProcessesC. A. R. Hoare. In On the Construction of Programs. pages 229-254, 1980.

Communicating Sequential Processes (Reprint)C. A. R. Hoare. CACM, 26(1):100-106, 1983.

Communicating Sequential ProcessesC. A. R. Hoare. CACM, 21(8):666-677, 1978.

A Theory of Communicating Sequential ProcessesStephen D. Brookes, C. A. R. Hoare, A. W. Roscoe. JACM, 31(3):560-599, 1984. [doi]

runs on WebDSL