eprintid: 179
rev_number: 9
eprint_status: archive
userid: 29
dir: disk0/00/00/01/79
datestamp: 2011-03-08 10:56:15
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-08 10:56:15
type: monograph
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Montanari, Ugo
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: A Compositional Coalgebraic Model of Monadic Fusion Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
monograph_type: technical_report
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. 
date: 2005-06-15
date_type: published
publisher: Università di Pisa, Dipartimento di Informatica
id_number: Technical report TR-05-17.
official_url: http://compass2.di.unipi.it/TR/Files/TR-05-17.ps.gz
citation:   Buscemi, Maria Grazia and Montanari, Ugo  A Compositional Coalgebraic Model of Monadic Fusion Calculus.  Technical Report   Università di Pisa, Dipartimento di Informatica