Università di Pisa
Sistema bibliotecario di ateneo

Compositional SOS and Beyond: A Coalgebraic View of Open Systems

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.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (159Kb)


    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