CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe study symmetries and duality between input and output in the π-calculus. We show that in dualisable versions of π, including π and fusions, duality breaks with the addition of ordinary input/output types. We illustrate two proposals of calculi that overcome these problems. One approach is based on a modification of fusion calculi in which the name equivalences produced by fusions are replaced by name preorders, and with a distinction between positive and negative occurrences of names. The resulting calculus allows us to import subtype systems, and related results, from the π-calculus. The second approach consists in taking the minimal symmetrical conservative extension of π with input/output types.
| Titolo: | Symmetries and dualities in name-passing process calculi | |
| Autore/i: | Hirschkoff, Daniel; Madiot, Jean Marie; SANGIORGI, DAVIDE | |
| Autore/i Unibo: | ||
| Anno: | 2014 | |
| Serie: | ||
| Titolo del libro: | Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday | |
| Pagina iniziale: | 307 | |
| Pagina finale: | 322 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-13350-8_23 | |
| Abstract: | We study symmetries and duality between input and output in the π-calculus. We show that in dualisable versions of π, including π and fusions, duality breaks with the addition of ordinary input/output types. We illustrate two proposals of calculi that overcome these problems. One approach is based on a modification of fusion calculi in which the name equivalences produced by fusions are replaced by name preorders, and with a distinction between positive and negative occurrences of names. The resulting calculus allows us to import subtype systems, and related results, from the π-calculus. The second approach consists in taking the minimal symmetrical conservative extension of π with input/output types. | |
| Data stato definitivo: | 24-nov-2015 | |
| Appare nelle tipologie: | 2.01 Capitolo / saggio in libro |
File in questo prodotto:
http://hdl.handle.net/11585/520461
Copyright © 2022