Ciancia, Vincenzo and Kurz, Alexander and Montanari, Ugo (2009) Minimal support and families for the semantics of calculi with structured resources. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (328Kb) |
Abstract
Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are in finite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We generalise previous equivalence results by introducing a notion of minimal support in presheaf categories indexed over small categories of monos. We show that nominal sets are generalisd by families, that is, free coproduct completions, indexed by symmetries.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | presheaves; families; nominal calculi; garbage collection |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 04 Dec 2014 14:34 |
Last Modified: | 04 Dec 2014 14:34 |
URI: | http://eprints.adm.unipi.it/id/eprint/2244 |
Repository staff only actions
View Item |