Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P. A proof system for communicating sequential processes. (English) Zbl 0468.68023 ACM Trans. Program. Lang. Syst. 2, 359-385 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 55 Documents MSC: 68N25 Theory of operating systems 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:Hoare-style proof rules; partial correctness; global invariant; cooperating proofs; CSP; concurrency; absence of deadlock; blocking PDF BibTeX XML Cite \textit{K. R. Apt} et al., ACM Trans. Program. Lang. Syst. 2, 359--385 (1980; Zbl 0468.68023) Full Text: DOI