A representation of L-domains by information systems

DOI10.1016/J.TCS.2015.11.037zbMATH Open1332.68136OpenAlexW2187587455MaRDI QIDQ896923FDOQ896923

Authors: Mingyuan Wu, Lankun Guo, Qingguo Li 

Publication date: 15 December 2015

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.11.037

Recommendations

• Representing L-domains as information systems
• Representations of algebraic domains and algebraic L-domains by information systems
• Generalised information systems capture L-domains
• Information systems for continuous semi-lattices
• Information systems revisited -- the general continuous case

zbMATH Keywords

categorical equivalenceinformation systemL-domain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cites Work

• \(dI\)--domains as prime information systems
• Continuous information systems
• Information systems for continuous posets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Information systems revisited -- the general continuous case
• The system \({\mathcal F}\) of variable types, fifteen years later
• A representation of SFP
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representing L-domains as information systems
• Disjunctive systems and L-Domains
• Title not available (Why is that?)

Cited In (19)

• Generalised information systems capture L-domains
• Representations of stably continuous semi-lattices by information systems and abstract bases
• Representations of algebraic domains and algebraic L-domains by information systems
• Partial information systems and the Smyth powerdomain
• Some categorical aspects of information systems and domains
• \(dI\)--domains as prime information systems
• A set-theoretic representation of algebraic L-domains
• Information systems for continuous semi-lattices
• Weak algebraic information systems and a new equivalent category of DOM of domains
• A set-theoretic approach to algebraic \(\mathrm{L}\)-domains
• Representing L-domains as information systems
• A representation of arithmetic semilattices by information systems
• Ambiguous representations of semilattices, imperfect information, and predicate transformers
• A new characterization of continuous domains based on closure spaces and Scott-type information systems
• \(L\)-stable event structures and \(L\)-domains
• The predicate completion of a partial information system
• A note on information systems for continuous semi-lattices
• Title not available (Why is that?)
• Topological representations of Lawson compact algebraic L-domains and Scott domains

This page was built for publication: A representation of L-domains by information systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896923)