TY  - CHAP
Y1  - 2008///
SP  - 544
T3  - Lecture Notes in Computer Science
A1  - Bonchi, Filippo
A1  - Buscemi, Maria Grazia
A1  - Ciancia, Vincenzo
A1  - Gadducci, Fabio
PB  - Springer
ED  - Degano, Pierpaolo
ED  - De Nicola, Rocco
ED  - Meseguer, José
UR  - http://dx.doi.org/10.1007/978-3-540-68679-8_34
TI  - A Category of Explicit Fusions
AV  - none
M1  - 5065
N2  - 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.
SN  - 978-3-540-68676-7
EP  - 562
T2  - Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
N1  - The final publication is available at www.springerlink.com.
ID  - eprints119
ER  -