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

@inproceedings{Dijkstra1975GuardedCN,
  title={Guarded commands, non-determinancy and a calculus for the derivation of programs},
  author={Edsger W. Dijkstra},
  booktitle={Language Hierarchies and Interfaces},
  year={1975}
}
Highly Cited
This paper has 40 citations. REVIEW CITATIONS