A proof system for distributed processes
From MaRDI portal
Publication:1106014
DOI10.1007/BF02737106zbMath0649.68016OpenAlexW4250818063MaRDI QIDQ1106014
A. E. K. Sobel, N. Soundararajan
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02737106
compositionalitypartial correctnessproofs of programsexternal behaviorprogramming language Distributed processes
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Cites Work
- Unnamed Item
- Unnamed Item
- A proof technique for communicating sequential processes
- The ``Hoare Logic of CSP, and All That
- A Proof System for Communicating Sequential Processes
- Guarded commands, nondeterminacy and formal derivation of programs
- Distributed processes
- An axiomatic basis for computer programming
This page was built for publication: A proof system for distributed processes
