@techreport{eprints179,
       publisher = {Universit{\`a} di Pisa, Dipartimento di Informatica},
            type = {Technical Report},
           month = {June},
          author = {Maria Grazia Buscemi and Ugo Montanari},
          number = {Technical report TR-05-17.},
           title = {A Compositional Coalgebraic Model of Monadic Fusion Calculus},
            year = {2005},
        abstract = {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. },
             url = {http://eprints.imtlucca.it/179/}
}