1. Acciai, L., Boreale, M.: Spatial and behavioral types in the pi-calculus. Inf. Comput. 208(10), 1118–1153 (2010).
https://doi.org/10.1016/j.ic.2009.10.011
2. Armstrong, W.J., Nayar, N., Stamschror, K.P.: Management of a concurrent use license in a logically-partitioned computer. US Patent 6,959,291 (2005)
3. Baratti, P., Squartini, P.: License management system. US Patent 6,574,612 (2003)
4. Bodei, C., Dinh, V.D., Ferrari, G.L.: Checking global usage of resources handled with local policies. Sci. Comput. Program. 133, 20–50 (2017).
https://doi.org/10.1016/j.scico.2016.06.005
5. Das, A., Hoffmann, J., Pfenning, F.: Work analysis with resource-aware sessiontypes. CoRR abs/1712.08310 (2017).
http://arxiv.org/abs/1712.08310