Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Guarded commands, non-determinacy and a calculus for the derivation of programs
Home
Publications
Guarded commands, non-determinacy and a calculus for the derivation of programs
Guarded commands, non-determinacy and a calculus for the derivation of programs
ED
Edsger W. Dijkstra
Edsger W. Dijkstra
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1975
proceedings article
Published by
Association for Computing Machinery (ACM)
Vol. 10
(6)
,
2-2.13
https://doi.org/10.1145/800027.808417
Abstract
No abstract available
Keywords
CASE-CONSTRUCTION
CORRECTNESS PROOF
DERIVATION OF PROGRAMS
NON-DETERMINACY
PROGRAM SEMANTICS
PROGRAMMING LANGUAGE SEMANTICS
PROGRAMMING LANGUAGES
PROGRAMMING METHODOLOGY
REPETITION
SEQUENCING PRIMITIVES
TERMINATION
Cited by 29 articles