Author： Corradini A. Grosze-Rhode M. Heckel R.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.260, Iss.1, 2001-06, pp. : 27-55
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
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. :
Access to resources
Recommend
Structured Transition Systems as Lax Coalgebras
By Corradini A. Grosze-Rhode M. Heckel R.
Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. :
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. :
Logical systems for structured specifications
Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. :
Introduction : Structured Connectionist Systems
By Waibel A.
Machine Learning, Vol. 15, Iss. 2, 1994-05 ,pp. :