IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T22:53:23ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2011-03-07T08:51:43Z2012-07-06T13:25:33Zhttp://eprints.imtlucca.it/id/eprint/174This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1742011-03-07T08:51:43ZA Presheaf Environment for the Explicit Fusion CalculusName 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 π-calculus, are presheaf categories based on (injective) relabellings, such as SetI. Calculi with symmetric binding, in the spirit of the fusion calculus, give rise to novel research challenges. In this work we examine the explicit fusion calculus, 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. Filippo BonchiMaria Grazia Buscemim.buscemi@imtlucca.itVincenzo CianciaFabio Gadducci2011-03-02T11:22:30Z2011-07-11T14:33:43Zhttp://eprints.imtlucca.it/id/eprint/119This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1192011-03-02T11:22:30ZA Category of Explicit FusionsName 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.Filippo BonchiMaria Grazia Buscemim.buscemi@imtlucca.itVincenzo CianciaFabio Gadducci