%0 Report
%9 Technical Report
%@ Technical report TR-05-17.
%A Buscemi, Maria Grazia
%A Montanari, Ugo
%D 2005
%F eprints:179
%T A Compositional Coalgebraic Model of Monadic Fusion Calculus
%U http://eprints.imtlucca.it/179/
%X 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.