Extending the theory of Owicki and Gries with a logic of progress.

Brijesh Dongol Doug Goldson

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

formal theory
theoretical basis
set theory
deductive reasoning
logic programming
probability theory
proof theory
computer algebra
theoretical framework
mathematical theory
boolean algebra
learning algorithm
modal logic
general theory
commonsense reasoning