Guarded commands, non-determinacy and a calculus for the derivation of programs.

Edsger W. Dijkstra

Published in: Reliable Software (1975)

Keyphrases

decision procedures
computer programs
provably correct
high level
satisfiability problem
information systems
automatic programming
control program
process algebra