{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:16:57Z","timestamp":1762460217335,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319926117"},{"type":"electronic","value":"9783319926124"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92612-4_6","type":"book-chapter","created":{"date-parts":[[2018,5,29]],"date-time":"2018-05-29T08:35:20Z","timestamp":1527582920000},"page":"101-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Calculus for Modeling Floating Authorizations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3974-5064","authenticated-orcid":false,"given":"Jovanka","family":"Pantovi\u0107","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5420-1527","authenticated-orcid":false,"given":"Ivan","family":"Proki\u0107","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7461-6156","authenticated-orcid":false,"given":"Hugo Torres","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,30]]},"reference":[{"issue":"10","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1118","DOI":"10.1016\/j.ic.2009.10.011","volume":"208","author":"L Acciai","year":"2010","unstructured":"Acciai, L., Boreale, M.: Spatial and behavioral types in the pi-calculus. Inf. Comput. 208(10), 1118\u20131153 (2010). https:\/\/doi.org\/10.1016\/j.ic.2009.10.011","journal-title":"Inf. Comput."},{"key":"6_CR2","unstructured":"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)"},{"key":"6_CR3","unstructured":"Baratti, P., Squartini, P.: License management system. US Patent 6,574,612 (2003)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.scico.2016.06.005","volume":"133","author":"C Bodei","year":"2017","unstructured":"Bodei, C., Dinh, V.D., Ferrari, G.L.: Checking global usage of resources handled with local policies. Sci. Comput. Program. 133, 20\u201350 (2017). https:\/\/doi.org\/10.1016\/j.scico.2016.06.005","journal-title":"Sci. Comput. Program."},{"key":"6_CR5","unstructured":"Das, A., Hoffmann, J., Pfenning, F.: Work analysis with resource-aware sessiontypes. CoRR abs\/1712.08310 (2017). http:\/\/arxiv.org\/abs\/1712.08310"},{"key":"6_CR6","unstructured":"Ferris, J.M., Riveros, G.E.: Offering additional license terms during conversion of standard software licenses for use in cloud computing environments. US Patent 9,053,472 (2015)"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Freeman, T.S., Pfenning, F.: Refinement types for ML. In: Wise, D.S. (ed.) Proceedings of the PLDI 1991, pp. 268\u2013277. ACM (1991). https:\/\/doi.org\/10.1145\/113445.113468","DOI":"10.1145\/113445.113468"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s00165-016-0363-5","volume":"28","author":"S Ghilezan","year":"2016","unstructured":"Ghilezan, S., Jak\u0161i\u0107, S., Pantovi\u0107, J., P\u00e9rez, J.A., Vieira, H.T.: Dynamic role authorization in multiparty conversations. Formal Asp. Comput. 28(4), 643\u2013667 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0363-5","journal-title":"Formal Asp. Comput."},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Giunti, M., Palamidessi, C., Valencia, F.D.: Hide and new in the pi-calculus. In: Proceedings of EXPRESS\/SOS 2012, EPTCS, vol. 89, pp. 65\u201379 (2012). https:\/\/doi.org\/10.4204\/EPTCS.89.6","DOI":"10.4204\/EPTCS.89.6"},{"issue":"8","key":"6_CR10","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/j.jlap.2008.12.001","volume":"78","author":"D Gorla","year":"2009","unstructured":"Gorla, D., Pugliese, R.: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8), 665\u2013689 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.12.001","journal-title":"J. Log. Algebr. Program."},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., Lanese, I., Vasconcelos, V.T., Caires, L., Carbone, M., Deni\u00e9lou, P., Mostrous, D., Padovani, L., Ravara, A., Tuosto, E., Vieira, H.T., Zavattaro, G.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016). https:\/\/doi.org\/10.1145\/2873052","journal-title":"ACM Comput. Surv."},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Kobayashi, N., Suenaga, K., Wischik, L.: Resource usage analysis for the p-calculus. Log. Methods Comput. Sci. 2(3) (2006). https:\/\/doi.org\/10.2168\/LMCS-2(3:4)2006","DOI":"10.2168\/LMCS-2(3:4)2006"},{"key":"6_CR13","unstructured":"Pantovic, J., Prokic, I., Vieira, H.T.: A calculus for modeling floating authorizations. CoRR abs\/1802.05863 (2018). https:\/\/arxiv.org\/abs\/1802.05863"},{"key":"6_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/9781316134924","volume-title":"The Pi-Calculus - A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-642-11957-6_28","volume-title":"Programming Languages and Systems","author":"N Swamy","year":"2010","unstructured":"Swamy, N., Chen, J., Chugh, R.: Enforcing stateful authorization and information flow policies in Fine. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 529\u2013549. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11957-6_28"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/S1571-0661(04)80421-3","volume":"66","author":"J Vivas","year":"2002","unstructured":"Vivas, J., Yoshida, N.: Dynamic channel screening in the higher order pi-calculus. Electr. Notes Theor. Comput. Sci. 66(3), 170\u2013184 (2002). https:\/\/doi.org\/10.1016\/S1571-0661(04)80421-3","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92612-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:31:59Z","timestamp":1751661119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92612-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319926117","9783319926124"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92612-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/cfp_forte.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}