Strong Normalisation in the pi-Calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Browse the full LICS paper archive.