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.
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.