Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di InformaticaFull text not available from this repository.
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:||Working Paper (Technical Report)|
|Identification Number:||Technical report TR-05-17.|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Research Area:||Computer Science and Applications|
|Depositing User:||Users 29 not found.|
|Date Deposited:||08 Mar 2011 10:56|
|Last Modified:||11 Jul 2011 14:33|
Actions (login required)