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 pi-calculus, are presheaf categories based on (injective) relabellings, such as Set^I. Calculi with symmetric binding, in the spirit of the fusion calculus, give rise to novel research challenges. In this work we examine the explicit fusioncalculus, and propose to model its syntax and semantics using the presheaf category Set^E, where E is the category of equivalence relations and equivalence preserving morphisms.

A presheaf environment for the calculus of explicit fusions

Bonchi F.;CIANCIA, VINCENZO;GADDUCCI, FABIO
2012

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 pi-calculus, are presheaf categories based on (injective) relabellings, such as Set^I. Calculi with symmetric binding, in the spirit of the fusion calculus, give rise to novel research challenges. In this work we examine the explicit fusioncalculus, and propose to model its syntax and semantics using the presheaf category Set^E, where E is the category of equivalence relations and equivalence preserving morphisms.
Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/153722
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 8
social impact