Power domains and predicate transformers: A topological view
Top Cited Papers
- 26 December 2005
- book chapter
- Published by Springer Nature
- p. 662-675
- https://doi.org/10.1007/bfb0036946
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A powerdomain for countable non-determinismPublished by Springer Nature ,1982
- Tychonoff's theorem without the axiom of choiceFundamenta Mathematicae, 1981
- A cook's tour of countable nondeterminismLecture Notes in Computer Science, 1981
- Local compactness and continuous latticesLecture Notes in Mathematics, 1981
- A Compendium of Continuous LatticesPublished by Springer Nature ,1980
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Topologies on spaces of subsetsTransactions of the American Mathematical Society, 1951
- Stetige MengenMonatshefte für Mathematik, 1921