eprintid: 126
rev_number: 13
eprint_status: archive
userid: 29
dir: disk0/00/00/01/26
datestamp: 2011-03-03 10:21:08
lastmod: 2014-10-08 09:13:23
status_changed: 2011-03-03 10:21:08
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 a fragment of fusion calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Process Calculi; Algebraic/Coalgebraic Models
abstract: This work is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure 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 to give an account of explicit fusions through labelled transitions. In this short essay, we focus on a fragment of the fusion calculus without recursion and replication.
date: 2006
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 162
publisher: Elsevier
pagerange: 135-139
id_number: 10.1016/j.entcs.2005.12.109
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/B75H1-4M060W4-J/2/decda22d432aa2b9e3411043f151e78a
projects: Research partially supported by the EU IST-FP6 16004 Integrated Project SENSORIA.
citation:   Buscemi, Maria Grazia and Montanari, Ugo  A compositional coalgebraic model of a fragment of fusion calculus.  Electronic Notes in Theoretical Computer Science, 162.  pp. 135-139.  ISSN 1571-0661      (2006)  
document_url: http://eprints.imtlucca.it/126/1/Buscemi_Montanari.pdf