Corradini, Andrea and Heckel, Reiko and Montanari, Ugo (2001) Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (159Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-01-01.ps.g...
Abstract
In this paper we address the issue of providing a structured coalgebra presentation of transition systems with algebraic structure on states determined by an equational specification $\Gamma$. More precisely, we aim at representing such systems as coalgebras for an endofunctor on the category of $\Gamma$-algebras. The systems we consider are specified by using
Item Type: | Book |
---|---|
Uncontrolled Keywords: | structured transition systems, SOS, coalgebras, dynamic bisimulation, |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 21 Jan 2015 15:06 |
Last Modified: | 21 Jan 2015 15:06 |
URI: | http://eprints.adm.unipi.it/id/eprint/2046 |
Repository staff only actions
View Item |