A category of compositional domain-models for separable Stone spaces.

DOI10.1016/S0304-3975(02)00037-3MaRDI QIDQ1853606zbMATH OpenFDO

Authors Fabio Alessi, Paolo Baldan, Furio Honsell

Publication date 21 January 2003

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

zbMATH Keywords

Denotational semanticsStone spacesDomain theoryTotality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The largest Cartesian closed category of domains
• scientific article; zbMATH DE number 730303
• A convenient category of domains
• scientific article; zbMATH DE number 3986621
• scientific article; zbMATH DE number 3940731

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• scientific article; zbMATH DE number 1107496 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• A Cook's tour of the finitary non-well-founded sets
• A Powerdomain Construction
• A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
• A computational model for metric spaces
• A domain equation for bisimulation
• Effectively given domains
• Embedding metric spaces into CPO's
• Metric semantics from partial order semantics
• Non-well-founded sets modeled as ideal fixed points
• Real number computability and domain theory
• Spaces of maximal points
• Total objects of domains

Cited in

(3)

• scientific article; zbMATH DE number 65670 (Why is no real title available?)
• Ideal models of spaces.
• Implementing Cantor's paradise

This page was built for publication: A category of compositional domain-models for separable Stone spaces.

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