Università di Pisa
Sistema bibliotecario di ateneo

Minimal support and families for the semantics of calculi with structured resources

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.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (328Kb)


    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