TY  - RPRT
Y1  - 2005/06/15/
VL  - Technical report TR-05-17.
TI  - A Compositional Coalgebraic Model of Monadic Fusion Calculus
A1  - Buscemi, Maria Grazia
A1  - Montanari, Ugo
UR  - http://compass2.di.unipi.it/TR/Files/TR-05-17.ps.gz
PB  - Università di Pisa, Dipartimento di Informatica
AV  - none
ID  - eprints179
N2  - 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. 
M1  - technical_report
ER  -