"Strong Normalisation in the pi-Calculus."

Nobuko Yoshida, Martin Berger, Kohei Honda (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics