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.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (119Kb) |
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.
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 |