A representation of L-domains by information systems

DOI10.1016/J.TCS.2015.11.037MaRDI QIDQ896923zbMATH OpenOpenAlexFDO

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)