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