Università di Pisa
Sistema bibliotecario di ateneo

A Coalgebraic Theory of Reactive Systems

Bonchi, Filippo and Montanari, Ugo (2006) A Coalgebraic Theory of Reactive Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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

Download (271Kb)


    In this report we study the connection between two well known models for interactive systems. Reactive Systems à la Leifer and Milner allow to derive an interactive semantics from a reduction semantics guaranteeing, under rather restrictive conditions, thecompositionality of the abstract semantics (bisimilarity). Universal Coalgebra provides a categorical framework where bisimilarity can be characterized as final semantics, i.e., as the unique morphism to the final coalgebra. Moreover, if lifting a coalgebra to a structured setting is possible, then bisimilarity is compositional with respect to the lifted structure. Here we show that for every reactive system we can build a coalgebra. Further, if bisimilarity is compositional in the reactive system, then we can lift this coalgebra to a structured coalgebra.

    Item Type: Book
    Uncontrolled Keywords: Reactive Systems - Coalgebras
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 13:08
    Last Modified: 09 Dec 2014 13:08
    URI: http://eprints.adm.unipi.it/id/eprint/2171

    Repository staff only actions

    View Item