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.
Name-passing calculus; Substitution; Expressiveness
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/20888
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact