Author： Goldblatt R.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.266, Iss.1, 2001-09, pp. : 853-886
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
On institutions for modular coalgebraic specifications
Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,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. :
Bisimulation for probabilistic transition systems: a coalgebraic approach
By de Vink E.P. Rutten J.J.M.M.
Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. :