Author： Corradini A. Heckel R. Montanari U.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.280, Iss.1, 2002-05, pp. : 163-192
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
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. :
Access to resources
Recommend
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. :