A category of compositional domain-models for separable Stone spaces.
type: Item
instance of: scholarly article
title: A category of compositional domain-models for separable Stone spaces.
zbMATH Open document ID: 1051.68102
DOI: 10.1016/S0304-3975(02)00037-3
author: Fabio Alessi
author: Paolo Baldan
author: Furio Honsell
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1857126
zbMATH Keywords: Denotational semantics
zbMATH Keywords: Domain theory
zbMATH Keywords: Stone spaces
zbMATH Keywords: Totality
MaRDI profile type: Publication
cites work: A Cook's Tour of the Finitary Non-Well-Founded Sets
cites work: A domain equation for bisimulation
cites work: A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
cites work: Metric semantics from partial order semantics
cites work: Q4373409
cites work: Real number computability and domain theory
cites work: Q5520521
cites work: A computational model for metric spaces
cites work: Q4373418
cites work: Q3898534
cites work: Total objects of domains
cites work: Spaces of maximal points
cites work: Non-well-founded sets modeled as ideal fixed points
cites work: A Powerdomain Construction
cites work: Q4023900
cites work: Effectively given domains
cites work: Embedding metric spaces into CPO's
description: scientific article; zbMATH DE number 1857126