Duality and i/o-Types in the π-Calculus.

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

Browse the full CONCUR paper archive.