Strong Normalisation in the π-Calculus (2001)

by Nobuko Yoshida, Martin Berger, Kohei Honda