eprintid: 135
rev_number: 10
eprint_status: archive
userid: 29
dir: disk0/00/00/01/35
datestamp: 2011-03-02 15:12:27
lastmod: 2013-10-28 11:55:26
status_changed: 2011-03-02 15:12:27
type: article
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 Fusion Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Process calculi; Algebraic/coalgebraic models
note: Copyright © 2007 Elsevier Inc. All rights reserved. 
abstract: This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit fusions. In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus. The key novelty in our work is that we give an account of explicit fusions through labelled transitions. Interestingly enough, this approach allows to exploit for the fusion calculus essentially the same algebraic structure used for the pi-calculus.
date: 2007
date_type: published
publication: Journal of Logic and Algebraic Programming
volume: 72
number: 1
publisher: Elsevier
pagerange: 78-97
id_number: doi:10.1016/j.jlap.2007.05.001
refereed: TRUE
issn: 1567-8326
official_url: http://dx.doi.org/10.1016/j.jlap.2007.05.001
citation:   Buscemi, Maria Grazia and Montanari, Ugo  A Compositional Coalgebraic Model of Fusion Calculus.  Journal of Logic and Algebraic Programming, 72 (1).  pp. 78-97.  ISSN 1567-8326      (2007)