1. Lecture Notes in Computer Science;R.M. Amadio,2009
2. Amadio, R.M., Baillot, P., Madet, A.: An affine-intuitionistic system of types and effects: confluence and termination. CoRR, abs/1005.0835 (2010)
3. Lecture Notes in Computer Science;G. Boudol,2007
4. Cristescu, I., Hirschkoff, D.: Termination in a π-calculus with Subptying (in preparation, 2011)
5. Demangeon, R.: Termination for Concurrent Systems. PhD thesis, Ecole Normale Superieure de Lyon (2010),
http://perso.ens-lyon.fr/romain.demangeon/phd.pdf