A type system for terms of the monadic pi-calculus is introduced and used to obtain a full-abstraction result for the translation of the polyadic pi-calculus into the monadic calculus: well-sorted terms of the polyadic calculus are barbed congruent iff their translations are typed barbed congruent.

Types and full abstraction for polyadic pi-calculus

Quaglia, Paola;
2005

Abstract

A type system for terms of the monadic pi-calculus is introduced and used to obtain a full-abstraction result for the translation of the polyadic pi-calculus into the monadic calculus: well-sorted terms of the polyadic calculus are barbed congruent iff their translations are typed barbed congruent.
2
Quaglia, Paola; D., Walker
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/11572/94814
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 8
social impact