Strong Normalisation in the pi-Calculus

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

No reviews for this publication, yet.