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-01-01
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.
