A powerdomain for countable non-determinism
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 418-428
- https://doi.org/10.1007/bfb0012788
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976