Buscemi, Maria Grazia and Montanari, Ugo
*A Compositional Coalgebraic Model of Monadic Fusion Calculus.*
Technical Report
Università di Pisa, Dipartimento di Informatica

## 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: | 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 |

URI: | http://eprints.imtlucca.it/id/eprint/179 |

### Actions (login required)

Edit Item |