Guarded commands, non-determinacy and formal derivation of programs

Access full-text files

EWD472.pdf (414.68 KB)
E.W.Dijkstra Archive_ Guarded commands_ non-determinacy and formal derivation of programs (EWD 472).pdf (352.46 KB)

Date

1975-01

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

published as cite EWD:EWD472pub

Keywords

EWD index number 472, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126443
 https://doi.org/10.26153/tsw/52980

Collections

EWD Index Manuscripts