university website Publications by Year
  • sign in
  • CWI management /
  • Book Chapter
  • Search

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

2022-10-01

Nondeterminism and Guarded Commands

Publication

Publication

Additional Metadata
Persistent URL doi.org/10.1145/3544585.3544595
Organisation CWI management
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
Apt, K., & Olderog, E.-R. (2022). Nondeterminism and Guarded Commands. In Edsger Wybe Dijkstra : his life, work, and legacy (pp. 169–204). doi:10.1145/3544585.3544595
  • View at Publisher


university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close