L. Acciai and M. Boreale, Spatial and behavioral types in the pi-calculus, Information and Computation, vol.208, issue.10, pp.1118-1153, 2010.
DOI : 10.1016/j.ic.2009.10.011

W. J. Armstrong, N. Nayar, and K. P. Stamschror, Management of a concurrent use license in a logically-partitioned computer, US Patent 6, p.291, 2005.

P. Baratti and P. Squartini, License management system US Patent 6, p.612, 2003.

C. Bodei, V. D. Dinh, and G. L. Ferrari, Checking global usage of resources handled with local policies, Science of Computer Programming, vol.133, pp.20-50, 2017.
DOI : 10.1016/j.scico.2016.06.005

A. Das, J. Hoffmann, and F. Pfenning, Work Analysis with Resource-Aware Session Types, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , LICS '18, 2017.
DOI : 10.1007/978-3-540-78739-6_22

J. M. Ferris and G. E. Riveros, Offering additional license terms during conversion of standard software licenses for use in cloud computing environments, US Patent 9, p.472, 2015.

T. S. Freeman and F. Pfenning, Refinement types for ML, Proceedings of the PLDI 1991, pp.268-277, 1991.

S. Ghilezan, S. Jak?i´jak?i´c, J. Pantovi´cpantovi´c, J. A. Pérez, and H. T. Vieira, Dynamic role authorization in multiparty conversations. Formal Asp, Comput, vol.28, issue.4, pp.643-667, 2016.

M. Giunti, C. Palamidessi, and F. D. Valencia, Hide and New in the Pi-Calculus, Electronic Proceedings in Theoretical Computer Science, vol.715, issue.2
DOI : 10.1007/3-540-57208-2_36
URL : https://hal.archives-ouvertes.fr/hal-00761118

, Proceedings of EXPRESS/SOS 2012. EPTCS, pp.65-79, 2012.

D. Gorla and R. Pugliese, Dynamic management of capabilities in a network aware coordination language, The Journal of Logic and Algebraic Programming, vol.78, issue.8, pp.665-689, 2009.
DOI : 10.1016/j.jlap.2008.12.001

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, pp.1-3, 2016.
DOI : 10.1007/978-3-642-12032-9_10

N. Kobayashi, K. Suenaga, and L. Wischik, Resource usage analysis for the p-calculus, Logical Methods in Computer Science, vol.2, issue.3, 2006.

J. Pantovic, I. Prokic, and H. T. Vieira, A Calculus for Modeling Floating Authorizations, 2018.
DOI : 10.1016/S1571-0661(04)80421-3
URL : https://hal.archives-ouvertes.fr/hal-01824819

D. Sangiorgi and D. Walker, The Pi-Calculus -a theory of mobile processes, 2001.

N. Swamy, J. Chen, and R. Chugh, Enforcing Stateful Authorization and Information Flow Policies in Fine, Proceedings of ESOP 2010, pp.529-549978, 2010.
DOI : 10.1007/978-3-642-11957-6_28

J. Vivas and N. Yoshida, Dynamic Channel Screening in the Higher Order ??-Calculus, Electronic Notes in Theoretical Computer Science, vol.66, issue.3, pp.170-184, 2002.
DOI : 10.1016/S1571-0661(04)80421-3