A proof technique for communicating sequential processes
From MaRDI portal
Publication:1153686
DOI10.1007/BF00289266zbMATH Open0463.68034MaRDI QIDQ1153686FDOQ1153686
Authors: Gary Levin, David Gries 
Publication date: 1981
Published in: Acta Informatica (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cites Work
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Communicating sequential processes
- Proofs of Networks of Processes
- Distributed Termination
- A Proof System for Communicating Sequential Processes
- Deadlock absence proofs for networks of communicating processes
- Title not available (Why is that?)
- Assignment and Procedure Call Proof Rules
Cited In (19)
- A proof system for distributed processes
- Axiomatic system for proving the properties of simple multimodule programs
- Fifty years of Hoare's logic
- A compositional proof system for distributed programs
- Using Hoare logic in a process algebra setting
- P-A logic - a compositional proof system for distributed programs
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
- Auxiliary variables in partial correctness programming logics
- An axiomatic semantics for nested concurrency
- Total correctness of CSP programs
- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
- A weakest precondition semantics for communicating processes
- A model and temporal proof system for networks of processes
- An assertion-based proof system for multithreaded Java
- Specification-oriented semantics for communicating processes
- An introduction to compositional methods for concurrency and their application to real-time.
- A complete axiomatic semantics of spawning
- Computation of equilibria in noncooperative games
This page was built for publication: A proof technique for communicating sequential processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153686)
