A relational model for non-deterministic programs and predicate transformers
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 136-146
- https://doi.org/10.1007/3-540-09981-6_10
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Relational semantics of strongly communicating sequential processesPublished by Springer Nature ,1981
- DIJKSTRA's predicate transformer, non-determinism, recursion, and terminationPublished by Springer Nature ,1976