eprintid: 119
rev_number: 9
eprint_status: archive
userid: 29
dir: disk0/00/00/01/19
datestamp: 2011-03-02 11:22:30
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-02 11:22:30
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bonchi, Filippo
creators_name: Buscemi, Maria Grazia
creators_name: Ciancia, Vincenzo
creators_name: Gadducci, Fabio
creators_id: 
creators_id: m.buscemi@imtlucca.it
creators_id: 
creators_id: 
title: A Category of Explicit Fusions
ispublished: pub
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com.
abstract: Name passing calculi are nowadays an established field on
its own. Besides their practical relevance, they offered an intriguing challenge,
since the standard operational, denotational and logical methods
often proved inadequate to reason about these formalisms. A domain
which has been successfully employed for languages with asymmetric
communication, like the π-calculus, are presheaf categories based on (injective)
relabelings, such as SetI. Calculi with symmetric binding, in the
spirit of the fusion calculus, give rise to new research problems. In this
work we examine the calculus of explicit fusions, and propose to model
its syntax and semantics using the presheaf category SetE, where E is the
category of equivalence relations and equivalence preserving morphisms.
date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 5065
publisher: Springer
pagerange: 544-562
id_number: 10.1007/978-3-540-68679-8_34
refereed: TRUE
isbn: 978-3-540-68676-7
book_title: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
editors_name: Degano, Pierpaolo
editors_name: De Nicola, Rocco
editors_name: Meseguer, José
official_url: http://dx.doi.org/10.1007/978-3-540-68679-8_34
citation:   Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio  A Category of Explicit Fusions.   In:  Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.   Lecture Notes in Computer Science, 5065 .  Springer, pp. 544-562.  ISBN 978-3-540-68676-7      (2008)