- ISBN 9780521580571. Dijkstra,
Edsger W. (1975). "Guarded commands,
nondeterminacy and
formal derivation of programs".
Communications of the ACM. 18 (8):...
-
introduced by
Edsger Dijkstra in his
seminal paper "Guarded commands,
nondeterminacy and
formal derivation of programs". They
define the
semantics of an...
- Los Angeles, California, USA: 546–550. — (1975). "Guarded Commands,
Nondeterminacy and
Formal Derivation of Programs". Comm. ACM. 18 (8): 453–7. doi:10...
- were
introduced by
Dijkstra in his
seminal paper "Guarded commands,
nondeterminacy and
formal derivation of programs". The
Guarded Command Language (GCL)...
- 1987: 721-727
Perry A. Emrath,
Sanjoy Ghosh,
David A. Padua.
Detecting Nondeterminacy in
Parallel Programs. IEEE
Software 9(1): 69-77 (1992)
Rudolf Eigenmann...
-
Joseph M. Morris,
Augmenting Types with
Unbounded Demonic and
Angelic Nondeterminacy,
Mathematics of
Program Construction, LNCS 3125, 274-288, 2004 G. N...
