@inproceedings{c93d5c8918dd47bbb8f9e6fc77b1a4dc,
title = "Guarded commands, non-determinancy and a calculus for the derivation of programs",
abstract = "So-called {"}guarded commands{"} are introduced as a building block for alternative and repetitive constructs that allow non-deterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be shown.",
author = "E.W. Dijkstra",
year = "1976",
doi = "10.1007/3-540-07994-7\_51",
language = "English",
isbn = "3-540-07994-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "111--124",
editor = "F.L. Bauer and K. Samelson",
booktitle = "Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975)",
address = "Germany",
}