A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language.

Published in: Theor. Comput. Sci. (1988)

Keyphrases

order sorted
concurrent programming
formal language
predicate logic
dynamic logic
intuitionistic logic
proof theory

programming language
formal theory
natural language
predicate calculus
language learning
conditional logic
logic programming

logic programming language
classical logic
specification language
multi valued
neural network
mutual exclusion

formal semantics
agent programming
lambda calculus
temporal logic
multi agent systems
concurrent programs