Non-deterministic information systems and their domains

DOI10.1016/0304-3975(90)90097-2zbMath0701.68074OpenAlexW2014875057WikidataQ127172330 ScholiaQ127172330MaRDI QIDQ914401

Rüdiger Göbel, Manfred Droste

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90097-2

zbMATH Keywords

recursive domain equationsinformation domainspartial orders of information

Mathematics Subject Classification ID

Partial orders, general (06A06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

Spectral sets, Universal domains and the amalgamation property, A concrete realization of the Hoare powerdomain, Information links in domain theory, Universal homogeneous event structures and domains, Information systems revisited -- the general continuous case, On stable domains, Various Constructions of Continuous Information Systems, Disjunctive systems and L-Domains, Three dual ontologies

Cites Work

• The largest Cartesian closed category of domains
• Event structures and domains
• Generalized continuous and hypercontinuous lattices
• Sequential algorithms on concrete data structures
• Fixed-point constructions in order-enriched categories
• Recursive domain equations for concrete data structure
• Order-Compatible Topologies on a Partially Ordered Set
• The Category-Theoretic Solution of Recursive Domain Equations
• The Ordering of Spec R
• A Powerdomain Construction
• Separation Axioms for Interval Topologies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item