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.
On the expressiveness of Chi, Update, and Fusion calculi
MERRO, Massimo
1998
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.
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.
