eprintid: 174
rev_number: 10
eprint_status: archive
userid: 29
dir: disk0/00/00/01/74
datestamp: 2011-03-07 08:51:43
lastmod: 2012-07-06 13:25:33
status_changed: 2011-03-07 08:51:43
type: article
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 Presheaf Environment for the Explicit Fusion Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Algebras; Coalgebras; Denotational semantics; Nominal calculi; Presheaf categories 
note: This work was carried out during the first author’s tenure of an ERCIM “Alain Bensoussan” Fellowship Programme. The third author has been supported by the Comunidad de Madrid program ProMeSaS (S-0505/TIC/0407) and by the Netherlands Organization for Scientific Research VICI grant 639.073.501. The fourth author has been partly supported by the Italian Ministry of University and Research project SisteR (PRIN 20088HXMYN).
abstract: Name passing calculi are nowadays one of the preferred formalisms for the specification of concurrent and distributed systems with a dynamically evolving topology. Despite their widespread adoption as a theoretical tool, though, they still face some unresolved semantic issues, 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) relabellings, such as SetI. Calculi with symmetric binding, in the spirit of the fusion calculus, give rise to novel research challenges. In this work we examine the explicit fusion calculus, 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: 2012
date_type: published
publication: Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming
volume: 49
number: 2
publisher: Springer
pagerange: 161-183
id_number: 10.1007/s10817-011-9224-3
refereed: TRUE
issn: 0168-7433
official_url: http://dx.doi.org/10.1007/s10817-011-9224-3
citation:   Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio  A Presheaf Environment for the Explicit Fusion Calculus.  Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2).  pp. 161-183.  ISSN 0168-7433      (2012)