Krzysztof R. Apt, Ernst-Rüdiger Olderog. Nondeterminism and Guarded Commands. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 169-204, ACM / Morgan & Claypool, 2022. [doi]
@incollection{AptO22,
title = {Nondeterminism and Guarded Commands},
author = {Krzysztof R. Apt and Ernst-Rüdiger Olderog},
year = {2022},
doi = {10.1145/3544585.3544595},
url = {https://doi.org/10.1145/3544585.3544595},
researchr = {https://researchr.org/publication/AptO22},
cites = {0},
citedby = {0},
pages = {169-204},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
editor = {Krzysztof R. Apt and Tony Hoare},
publisher = {ACM / Morgan & Claypool},
isbn = {978-1-4503-9773-5},
}