We give a divergence-free encoding of polyadic Local pi into its monadic variant. Local pi is a sub-calculus of asynchronous pi-calculus where the recipients of a channel are local to the process that has created the channel. We prove the encoding fully-abstract with respect to barbed congruence. This implies that in Local pi (i) polyadicity does not add extra expressive power, and (ii) when studying the theory of polyadic Local pi we can focus on the simpler monadic variant. Then, we show how the idea of our encoding can be adapted to name-passing calculi with non-binding input prefix, such as Chi , Fusion and piF calculi .

Locality and poliadicity in asynchronous name-passing calculi

MERRO, Massimo
2000

Abstract

We give a divergence-free encoding of polyadic Local pi into its monadic variant. Local pi is a sub-calculus of asynchronous pi-calculus where the recipients of a channel are local to the process that has created the channel. We prove the encoding fully-abstract with respect to barbed congruence. This implies that in Local pi (i) polyadicity does not add extra expressive power, and (ii) when studying the theory of polyadic Local pi we can focus on the simpler monadic variant. Then, we show how the idea of our encoding can be adapted to name-passing calculi with non-binding input prefix, such as Chi , Fusion and piF calculi .
9783540672579
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/20883
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 31
  • ???jsp.display-item.citation.isi??? ND
social impact