relation: http://eprints.imtlucca.it/119/
title: A Category of Explicit Fusions
creator: Bonchi, Filippo
creator: Buscemi, Maria Grazia
creator: Ciancia, Vincenzo
creator: Gadducci, Fabio
description: 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.
publisher: Springer
contributor: Degano, Pierpaolo
contributor: De Nicola, Rocco
contributor: Meseguer, José
date: 2008
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-68679-8_34
relation: 10.1007/978-3-540-68679-8_34