Strong normalisation in the π-calculus. (2004)

by N Yoshida, M Berger, K Honda
Venue:Inf. Comput.,