Non-deterministic information systems and their domains
- 1 October 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 75 (3) , 289-309
- https://doi.org/10.1016/0304-3975(90)90097-2
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Event structures and domainsTheoretical Computer Science, 1989
- Recursive domain equations for concrete data structuresInformation and Computation, 1989
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- Generalized continuous and hypercontinuous latticesRocky Mountain Journal of Mathematics, 1981
- Separation Axioms for Interval TopologiesProceedings of the American Mathematical Society, 1980
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- The Ordering of Spec RCanadian Journal of Mathematics, 1976
- Order-compatible topologies on a partially ordered setProceedings of the American Mathematical Society, 1958