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

Access full-text files

EWD418.pdf (359.52 KB)
E.W.Dijkstra Archive_ Guarded commands. non-determinacy and a calculus for the derivation of programs (EWD 418).pdf (365.46 KB)

Date

1974-06

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

see cite EWD:EWD472; circulated privately

Keywords

EWD index number 418, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126407
 https://doi.org/10.26153/tsw/52944

Collections

EWD Index Manuscripts