dI-Domains as prime information systems
Information and Computation
Information and Computation
Information and Computation
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Disjunctive Systems and L-Domains
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Information systems revisited – the general continuous case
Theoretical Computer Science
| Hi-index | 0.00 |
The notion of information system initially introduced by Scott provides an efficient approach to represent various kinds of domains. In this note, a new type of information systems named finitely derived information systems is introduced. For this notion, the requirement for the consistency predicate used in Scott's information systems is simplified, and the reflexive and transitive rules for the entailment relation are preserved while the finitely derived rule is introduced. A comprehensive investigation is made on the interrelation between finitely derived information systems and algebraic domains. It turns out that their corresponding categories are equivalent, which indicates that the proposed notion of finitely derived information system provides a concrete approach to representing algebraic domains.