Highly Influenced

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

@article{Alessi2003ACO, title={A category of compositional domain-models for separable Stone spaces}, author={Fabio Alessi and Paolo Baldan and Furio Honsell}, journal={Theor. Comput. Sci.}, year={2003}, volume={290}, pages={599-635} }

- Published 2003 in Theor. Comput. Sci.
DOI:10.1016/S0304-3975(02)00037-3

In this paper we introduce SFPM , a category ofSFPdomains which provides very satisfactorydomain-models , i.e. “partializations”, of separable Stone spaces ( 2-Stone spaces ). More specifically,SFPM is a subcategory of SFPep, closed under direct limits as well as many constructors, such as lifting, sum, product and Plotki n powerdomain.SFPM is “structurally well behaved”, in the sense that the functor MAX, which associates to each object of SFPM the Stone space of its maximal elements, is… CONTINUE READING