Finding the Correctness Proof of a Concurrent Program.

Edsger W. Dijkstra

Published in: Program Construction (1978)

Keyphrases

concurrent programs
provably correct
concurrent execution
computer programs
search algorithm
genetic algorithm
information systems
computer science
program execution
method finds