Strong normalisation in the π-calculus (2001)

by N Yoshida, M Berger, K Honda
Venue:In 16th Annual IEEE Symposium on Logic in Computer Science (LICS