Author: Alessi F. Baldan P. Honsell F.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 599-635
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Foundations of compositional models: structural properties
International Journal of General Systems, Vol. 44, Iss. 1, 2015-01 ,pp. :
Domain representations of topological spaces
By Blanck J.
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
A fixed-point theorem in a category of compact metric spaces
By Alessi F. Baldan P. Belle G.
Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. :
By Martin K.
Theoretical Computer Science, Vol. 305, Iss. 1, 2003-08 ,pp. :