Parallel programming: An axiomatic approach

DOI10.1016/0096-0551(75)90014-4zbMath0362.68045OpenAlexW2117694222MaRDI QIDQ4136530

C. A. R. 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

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

Related Items

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

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