Semantics of nondeterministic and noncontinuous constructs
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 553-592
- https://doi.org/10.1007/bfb0014683
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- Non deterministic recursive program schemesLecture Notes in Computer Science, 1977
- Semantics of infinite processes using generalized treesLecture Notes in Computer Science, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Die Grundlagen der MathematikPublished by Springer Nature ,1928
- Die logischen Grundlagen der MathematikMathematische Annalen, 1922
- Beweis, da jede Menge wohlgeordnet werden kannMathematische Annalen, 1904