Author： de Vink E.P. Rutten J.J.M.M.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.221, Iss.1, 1999-06, pp. : 271-293
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
A decomposition theorem for probabilistic transition systems
Theoretical Computer Science, Vol. 145, Iss. 1, 1995-07 ,pp. :
A coalgebraic equational approach to specifying observational structures
By Crstea C.
Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,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. :