Author： Aczel P. Adamek J. Milius S. Velebil J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.300, Iss.1, 2003-05, pp. : 1-45
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
Compositional SOS and beyond: a coalgebraic view of open systems
By Corradini A. Heckel R. Montanari U.
Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,pp. :
Access to resources
Recommend
On institutions for modular coalgebraic specifications
Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,pp. :
A Coalgebraic presentation of structured transition systems
By Corradini A. Grosze-Rhode M. Heckel R.
Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. :
Coalgebraic Reasoning about Classes in Object-Oriented Languages
By Jacobs B.
Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. :