1. Boudol, G., Laneve, C.: λ-calculus, multiplicities and the π-calculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (2000)
2. Boutillier, P.: Implementation of a hybrid type system for termination in the π-calculus. Training period report, ENS Lyon (2008)
3. Lecture Notes in Computer Science;M. Dezani-Ciancaglini,1994
4. Dershowitz, N., Hoot, C.: Natural termination. Theoretical Computer Science 142(2), 179–207 (1995)
5. Lecture Notes in Computer Science;R. Demangeon,2008