Proving Correctness of CSP Programs — A Tutorial

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 441-474
https://doi.org/10.1007/978-3-642-82921-5_10

Abstract

No abstract available

Keywords

This publication has 14 references indexed in Scilit:

Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems, 1984
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems, 1984
Ten years of Hoare's logic: A survey— part II: Nondeterminism
Theoretical Computer Science, 1983
Formal Justification of a Proof System for Communicating Sequential Processes
Journal of the ACM, 1983
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems, 1981
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems, 1980
Communicating sequential processes
Communications of the ACM, 1978
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM, 1975
Procedures and parameters: An axiomatic approach
Lecture Notes in Mathematics, 1971
An axiomatic basis for computer programming
Communications of the ACM, 1969