Università di Pisa
Sistema bibliotecario di ateneo

A Compositional Coalgebraic Model of Monadic Fusion Calculus

Buscemi, Marzia and Montanari, Ugo (2005) A Compositional Coalgebraic Model of Monadic Fusion Calculus. 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 (119Kb)


    We propose a compositional coalgebraic semantics of the Fusion calculus of Parrow and Victor in the version with explicit fusions by Gardner and Wischik. We follow a recent approach developed by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebraic models. In our model, the unique morphism to the final bialgebra induces a bisimilarity relation which coincides with hyperequivalence and which is a congruence with respect to the operations. Interesting enough, the explicit fusion approach allows to exploit for the Fusion calculus essentially the same algebraic structure used for the pi-calculus.

    Item Type: Book
    Uncontrolled Keywords: Models of Distributed Systems, Process Calculi
    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 12:44
    Last Modified: 09 Dec 2014 12:44
    URI: http://eprints.adm.unipi.it/id/eprint/2146

    Repository staff only actions

    View Item