Parallel programming: An axiomatic approach

DOI10.1016/0096-0551(75)90014-4zbMATH Open0362.68045OpenAlexW2117694222MaRDI QIDQ4136530FDOQ4136530

Authors: Tony Hoare 

Publication date: 1975

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(75)90014-4

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited In (8)

• Axiomatic approach to side effects and general jumps
• A semantics for concurrent separation logic
• Convolution as a Unifying Concept
• Fifty years of Hoare's logic
• Methods and means of parallel processing of information
• Current methods for proving program correctness
• Semantics of algorithmic languages
• A predicate transformer for choreographies. Computing preconditions in choreographic programming

This page was built for publication: Parallel programming: An axiomatic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4136530)