Author： Kurz A. Hennicker R.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.280, Iss.1, 2002-05, pp. : 69-103
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
Detecting equivalence of modular specifications with categorical diagrams
By Oriat C.
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
Access to resources
Recommend
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. :
Infinite trees and completely iterative theories: a coalgebraic view
By Aczel P. Adamek J. Milius S. Velebil J.
Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. :