Strong Normalisation in the pi-Calculus

Nobuko Yoshida, Martin Berger, Kohei Honda. Strong Normalisation in the pi-Calculus. In LICS. pages 311-322, 2001.

Abstract

Abstract is missing.