CATALOGO DEI PRODOTTI DELLA RICERCA
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.
EnglishChi and Update calculi have been independently introduced in order to model mobile systems. The two calculi are very close to each other and represent an evolution of pi-calculus. More recently a (non-straightforward) polyadic version of the Update calculus, the Fusion calculus, has been proposed.In the paper we give a fully abstract encoding from an asynchronous variant of Chi and Update calculi to asynchronous pi-calculus. This proves that, at least for their asynchronous variants, Chi and Update calculi are not more expressive than pi-calculus. A similar result can be proved for the Fusion calculus.
| Titolo: | On the expressiveness of Chi, Update, and Fusion calculi |
| Autori: | |
| Data di pubblicazione: | 1998 |
| Rivista: | |
| Abstract: | Chi and Update calculi have been independently introduced in order to model mobile systems. The two calculi are very close to each other and represent an evolution of pi-calculus. More recently a (non-straightforward) polyadic version of the Update calculus, the Fusion calculus, has been proposed.In the paper we give a fully abstract encoding from an asynchronous variant of Chi and Update calculi to asynchronous pi-calculus. This proves that, at least for their asynchronous variants, Chi and Update calculi are not more expressive than pi-calculus. A similar result can be proved for the Fusion calculus. |
| Handle: | http://hdl.handle.net/11562/20888 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Copyright © 2020