Correctness proofs of CSP programs

DOI10.1016/0304-3975(83)90045-2zbMath0511.68007OpenAlexW2038289817MaRDI QIDQ1838826

N. Soundararajan

Publication date: 1983

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90045-2

zbMATH Keywords

axiomatic semanticscommunicating sequential processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

P-A logic - a compositional proof system for distributed programs

Cites Work

• Axiomatic semantics of communicating sequential processes
• A Proof System for Communicating Sequential Processes
• Communicating sequential processes