A Category of Explicit Fusions

  • Authors:

  • Filippo Bonchi;Maria Grazia Buscemi;Vincenzo Ciancia;Fabio Gadducci

  • Affiliations:

  • Dipartimento di Informatica, University of Pisa, Italy;IMT Lucca Institute for Advanced Studies, Italy;Dipartimento di Informatica, University of Pisa, Italy;Dipartimento di Informatica, University of Pisa, Italy

  • Venue:
  • Concurrency, Graphs and Models
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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 ${Set}^\mathbb{I}$. Calculi with symmetricbinding, 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 ${Set}^\mathbb{E}$, where $\mathbb{E}$ is the category of equivalence relations and equivalence preserving morphisms.