Axiomatic treatment of processes with shared variables revisited
From MaRDI portal
Publication:1194205
DOI10.1007/BF01211310zbMath0748.68040MaRDI QIDQ1194205
Publication date: 27 September 1992
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work
- Unnamed Item
- Adequate proof principles for invariance and liveness properties of concurrent programs
- A proof technique for parallel programs
- Partial correctness of exits from concurrent structures
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language
- Proving assertions about parallel programs
- Proving Liveness Properties of Concurrent Programs
- An axiomatic basis for computer programming