T. Amtoft, F. Nielson, and H. Nielson, Type and Effect Systems: Behaviours for Concurrency, 1999.
DOI : 10.1142/p132

V. Bono, L. Padovani, and A. Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, FORTE'13, pp.83-98, 2013.
DOI : 10.1007/978-3-642-38592-6_7
URL : https://hal.archives-ouvertes.fr/hal-01515251

M. Carbone, O. Dardha, and F. Montesi, Progress as Compositional Lock-Freedom, CO- ORDINATION'14, pp.49-64, 2014.
DOI : 10.1007/978-3-662-43376-8_4
URL : https://hal.archives-ouvertes.fr/hal-01290067

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2

O. Dardha, E. Giachino, and D. Sangiorgi, Session types revisited, PPDP'12, pp.139-150, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01647086

S. J. Gay and V. T. Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, pp.19-50, 2010.
DOI : 10.1006/inco.1994.1093

N. Kobayashi, A Type System for Lock-Free Processes, Information and Computation, vol.177, issue.2, pp.122-159, 2002.
DOI : 10.1016/S0890-5401(02)93171-8
URL : https://doi.org/10.1006/inco.2002.3171

N. Kobayashi, A New Type System for Deadlock-Free Processes, CONCUR'06, pp.233-247, 2006.
DOI : 10.1007/11817949_16
URL : http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf

N. Kobayashi, B. C. Pierce, and D. N. Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999.
DOI : 10.1145/330249.330251
URL : http://www.yl.is.s.u-tokyo.ac.jp/~koba/pub/LinearPi.ps.gz

L. Padovani, Deadlock and lock freedom in the linear ??-calculus, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, pp.1-7210, 2014.
DOI : 10.1145/2603088.2603116
URL : https://hal.archives-ouvertes.fr/hal-00932356

L. Padovani, Type Reconstruction for the Linear ??-Calculus with Composite and Equi-Recursive Types, FoSSaCS'14, pp.88-102, 2014.
DOI : 10.1007/978-3-642-54830-7_6

L. Padovani, T. Chen, and A. Tosatto, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear ??-Calculi, COORDINATION'15, 2015.
DOI : 10.1007/978-3-319-19282-6_6
URL : https://hal.archives-ouvertes.fr/hal-01105202

L. Padovani and L. Novara, Types for Deadlock-Free Higher-Order Concurrent Programs, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00954364

P. Wadler, Propositions as sessions, ICFP'12, pp.273-286, 2012.
DOI : 10.1145/2398856.2364568
URL : http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf