<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Category of Explicit Fusions"^^ . "Name passing calculi are nowadays an established field on\r\nits own. Besides their practical relevance, they offered an intriguing challenge,\r\nsince the standard operational, denotational and logical methods\r\noften proved inadequate to reason about these formalisms. A domain\r\nwhich has been successfully employed for languages with asymmetric\r\ncommunication, like the π-calculus, are presheaf categories based on (injective)\r\nrelabelings, such as SetI. Calculi with symmetric binding, in the\r\nspirit of the fusion calculus, give rise to new research problems. In this\r\nwork we examine the calculus of explicit fusions, and propose to model\r\nits syntax and semantics using the presheaf category SetE, where E is the\r\ncategory of equivalence relations and equivalence preserving morphisms."^^ . "2008" . "5065" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Filippo"^^ . "Bonchi"^^ . "Filippo Bonchi"^^ . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "José"^^ . "Meseguer"^^ . "José Meseguer"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Pierpaolo"^^ . "Degano"^^ . "Pierpaolo Degano"^^ . . "Vincenzo"^^ . "Ciancia"^^ . "Vincenzo Ciancia"^^ . . . . . "HTML Summary of #119 \n\nA Category of Explicit Fusions\n\n" . "text/html" . .