A representation of L-domains by information systems

DOI10.1016/J.TCS.2015.11.037MaRDI QIDQ896923zbMATHOpenAlexFDO

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

zbMATH Keywords

categorical equivalenceinformation systemL-domain

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A representation of SFP
• Continuous Lattices and Domains
• Continuous information systems
• Disjunctive systems and L-Domains
• Information systems for continuous posets
• Information systems revisited -- the general continuous case
• Representing L-domains as information systems
• The system \({\mathcal F}\) of variable types, fifteen years later
• \(dI\)--domains as prime information systems

Cited in

(19)

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