Modalities of Nondeterminacy
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- Predicate-transformer semantics of general recursionActa Informatica, 1989
- A lattice-theoretical basis for a specification languagePublished by Springer Nature ,1989
- Interpretations of recursion under unbounded nondeterminacyTheoretical Computer Science, 1988
- Data refinement by miraclesInformation Processing Letters, 1988
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- On the semantics of fair parallelismPublished by Springer Nature ,1980
- Some Properties of Predicate TransformersJournal of the ACM, 1978