A proof technique for communicating sequential processes
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3675290 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- A Proof System for Communicating Sequential Processes
- An axiomatic basis for computer programming
- Assignment and Procedure Call Proof Rules
- Communicating sequential processes
- Deadlock absence proofs for networks of communicating processes
- Distributed Termination
- Proofs of Networks of Processes
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
- P-A logic - a compositional proof system for distributed programs
- A compositional proof system for distributed programs
- Using Hoare logic in a process algebra setting
- Auxiliary variables in partial correctness programming logics
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
- 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
- A complete axiomatic semantics of spawning
- An introduction to compositional methods for concurrency and their application to real-time.
- 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)
