{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:12:30Z","timestamp":1726035150548},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_16","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:04:18Z","timestamp":1562162658000},"page":"278-297","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Behavioural Contracts to Session Types"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73\u2013132 (1993). \n                      https:\/\/doi.org\/10.1145\/151646.151649","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE-01. Software Engineering Notes, vol. 26, p. 5. ACM Press (2001)","DOI":"10.1145\/503271.503226"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J. (eds.) Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, 13\u201317 April 2015, pp. 1840\u20131845. ACM (2015). \n                      https:\/\/doi.org\/10.1145\/2695664.2695668","DOI":"10.1145\/2695664.2695668"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"RM Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Trans. Program. Lang. Syst. 15(4), 575\u2013631 (1993). \n                      https:\/\/doi.org\/10.1145\/155183.155231","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR5","unstructured":"Bernardeschi, C., Dustzadeh, J., Fantechi, A., Najm, E., Nimour, A., Olsen, F.: Consistent semantics and correct transformations for the ODP information and computational models. In: Proceedings of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS). Chapman & Hall, Canterbury, July 1997"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Bernardi, G., Hennessy, M.: Using higher-order contracts to model session types. Log. Methods Comput. Sci. 12(2) (2016)","DOI":"10.2168\/LMCS-12(2:10)2016"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M Boreale","year":"2006","unstructured":"Boreale, M., et al.: SCC: a service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38\u201357. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11841197_3"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19\u201338. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68863-1_3"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1017\/S0960129512000953","volume":"25","author":"M Boreale","year":"2015","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3), 666\u2013709 (2015). \n                      https:\/\/doi.org\/10.1017\/S0960129512000953","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR10","first-page":"451","volume":"89","author":"M Bravetti","year":"2008","unstructured":"Bravetti, M., Zavattaro, G.: A foundational theory of contracts for multi-party service composition. Fundam. Inf. 89, 451\u2013478 (2008)","journal-title":"Fundam. Inf."},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-68265-3_5","volume-title":"Coordination Models and Languages","author":"R Bruni","year":"2008","unstructured":"Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty sessions in SOC. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 67\u201382. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68265-3_5"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240(1), 173\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-39979-7_8","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"C Carrez","year":"2003","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Behavioural contracts for a sound assembly of components. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 111\u2013126. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-39979-7_8"},{"issue":"7\u20138","key":"16_CR14","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1007\/BF03219957","volume":"60","author":"C Carrez","year":"2005","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Assembling components with behavioural contracts. Annales des T\u00e9l\u00e9communications 60(7\u20138), 989\u20131022 (2005). \n                      https:\/\/doi.org\/10.1007\/BF03219957","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 261\u2013272. ACM, New York (2008). \n                      https:\/\/doi.org\/10.1145\/1328438.1328471","DOI":"10.1145\/1328438.1328471"},{"key":"16_CR16","unstructured":"Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web Service Definition Language (WSDL) Version 2.0, W3C. Technical report, June 2007"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-38493-6_4","volume-title":"Coordination Models and Languages","author":"M Coppo","year":"2013","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: Inference of global progress properties for dynamically interleaved multiparty sessions. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 45\u201359. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38493-6_4"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R Nicola De","year":"2013","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-35887-6_2"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984). \n                      https:\/\/doi.org\/10.1016\/0304-3975(84)90113-0","journal-title":"Theor. Comput. Sci."},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-61052-9_45","volume-title":"Coordination Languages and Models","author":"R Nicola De","year":"1996","unstructured":"De Nicola, R., Pugliese, R.: A process algebra based on Linda. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 160\u2013178. Springer, Heidelberg (1996). \n                      https:\/\/doi.org\/10.1007\/3-540-61052-9_45"},{"issue":"5","key":"16_CR21","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R DeNicola","year":"1998","unstructured":"DeNicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Dustzadeh, J., Najm, E.: Consistent semantics for ODP information and computational models. In: Specification, Testing IFIP TC6 WG6.1, Techniques for X) and 18\u201321 November, 1997, Osaka, Japan. IFIP Conference Proceedings, vol. 107, pp. 107\u2013126. Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35271-8_7"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-68265-3_8","volume-title":"Coordination Models and Languages","author":"A Fantechi","year":"2008","unstructured":"Fantechi, A., Najm, E.: Session types for orchestration charts. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 117\u2013134. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-68265-3_8"},{"key":"16_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63010-4_15","volume-title":"Transformation-Based Reactive Systems Development","author":"A F\u00e9vrier","year":"1997","unstructured":"F\u00e9vrier, A., Najm, E., Stefani, J.: Contracts for ODP. In: Bertran, M., Rus, T. (eds.) Transformation-Based Reactive Systems Development. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/3-540-63010-4_15"},{"issue":"2\u20133","key":"16_CR25","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"SJ Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Inf."},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49099-X_6","volume-title":"Programming Languages and Systems","author":"S Gay","year":"1999","unstructured":"Gay, S., Hole, M.: Types and subtypes for client-server interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 74\u201390. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-49099-X_6"},{"issue":"4\u20135","key":"16_CR27","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00236-005-0178-y","volume":"42","author":"M Hennessy","year":"2005","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: SafeDpi: a language for controlling mobile code. Acta Inf. 42(4\u20135), 227\u2013290 (2005)","journal-title":"Acta Inf."},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"K Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. SIGPLAN Not. 43, 273\u2013284 (2008). \n                      https:\/\/doi.org\/10.1145\/1328897.1328472","journal-title":"SIGPLAN Not."},{"issue":"1","key":"16_CR29","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016). \n                      https:\/\/doi.org\/10.1145\/2873052","journal-title":"ACM Comput. Surv."},{"key":"16_CR30","unstructured":"ISO, IEC: Information Technology Open Distributed Processing Reference Model. IS 10746 parts 1,2,3 (1998\u20132010), also published as ITU-T Recommendations X901, X.902, X.903"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"D Kitchin","year":"2006","unstructured":"Kitchin, D., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477\u2013491. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11817949_32"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE -2009. LNCS, vol. 5522, pp. 1\u201325. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-02138-1_1"},{"key":"16_CR33","doi-asserted-by":"publisher","unstructured":"Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, pp. 305\u2013314. IEEE Computer Society, Washington, DC (2007), \n                      https:\/\/doi.org\/10.1109\/SEFM.2007.13","DOI":"10.1109\/SEFM.2007.13"},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33\u201347. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-71316-6_4"},{"issue":"2","key":"16_CR35","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10703-010-0110-0","volume":"38","author":"A Lapadula","year":"2011","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes. Form. Methods Syst. Des. 38(2), 119\u2013157 (2011). \n                      https:\/\/doi.org\/10.1007\/s10703-010-0110-0","journal-title":"Form. Methods Syst. Des."},{"key":"16_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-60630-0_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KG Larsen","year":"1995","unstructured":"Larsen, K.G., Steffen, B., Weise, C.: A constraint oriented proof methodology based on modal transition systems. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B. (eds.) TACAS 1995. LNCS, vol. 1019, pp. 17\u201340. Springer, Heidelberg (1995). \n                      https:\/\/doi.org\/10.1007\/3-540-60630-0_2"},{"issue":"1","key":"16_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM. Trans. Program. Lang. Syst. 25(1), 1\u201369 (2003)","journal-title":"ACM. Trans. Program. Lang. Syst."},{"issue":"1","key":"16_CR38","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992). \n                      https:\/\/doi.org\/10.1016\/0304-3975(92)90182-F","journal-title":"Theor. Comput. Sci."},{"issue":"8","key":"16_CR39","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.jlap.2013.05.004","volume":"82","author":"J Michaux","year":"2013","unstructured":"Michaux, J., Najm, E., Fantechi, A.: Session types for safe web service orchestration. J. Log. Algebr. Program. 82(8), 282\u2013310 (2013). \n                      https:\/\/doi.org\/10.1016\/j.jlap.2013.05.004","journal-title":"J. Log. Algebr. Program."},{"key":"16_CR40","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"issue":"1","key":"16_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I. Inf. Comput. 100(1), 1\u201340 (1992). Technical report ECS-LFCS-89-85","journal-title":"Inf. Comput."},{"issue":"1","key":"16_CR42","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, II. Inf. Comput. 100(1), 41\u201377 (1992). Technical report ECS-LFCS-89-86","journal-title":"Inf. Comput."},{"key":"16_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1983","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 158. Springer, Heidelberg (1983)"},{"key":"16_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-21464-6_7","volume-title":"Coordination Models and Languages","author":"D Mostrous","year":"2011","unstructured":"Mostrous, D., Vasconcelos, V.T.: Session typing for a featherweight erlang. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 95\u2013109. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21464-6_7"},{"key":"16_CR45","doi-asserted-by":"crossref","unstructured":"Najm, E., Nimour, A.: A calculus of object bindings. In: Proceedings of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS). Chapman & Hall, Canterbury, July 1997","DOI":"10.1007\/978-0-387-35261-9_2"},{"key":"16_CR46","unstructured":"Najm, E., Stefani, J.: A formal semantics of DPL. Technical report, Report CNET\/RC.V01.ENJBS.004., Esprit Project 2267 (Integrated Systems Architecture) (1992)"},{"key":"16_CR47","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-0-387-35578-8_12","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"E Najm","year":"1999","unstructured":"Najm, E., Nimour, A., Stefani, J.-B.: Guaranteeing liveness in an object calculus through behavioral typing. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 203\u2013221. Springer, Boston (1999). \n                      https:\/\/doi.org\/10.1007\/978-0-387-35578-8_12"},{"key":"16_CR48","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-0-387-35562-7_28","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"E Najm","year":"1999","unstructured":"Najm, E., Nimour, A., Stefani, J.-B.: Infinite types for distributed object interfaces. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) FMOODS 1999. ITIFIP, vol. 10, pp. 353\u2013369. Springer, Boston, MA (1999). \n                      https:\/\/doi.org\/10.1007\/978-0-387-35562-7_28"},{"issue":"8","key":"16_CR49","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","volume":"27","author":"E Najm","year":"1995","unstructured":"Najm, E., Stefani, J.: A formal semantics for the ODP computational model. Comput. Netw. ISDN Syst. 27(8), 1305\u20131329 (1995). \n                      https:\/\/doi.org\/10.1016\/0169-7552(94)00032-O","journal-title":"Comput. Netw. ISDN Syst."},{"key":"16_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-21464-6_8","volume-title":"Coordination Models and Languages","author":"N Ng","year":"2011","unstructured":"Ng, N., Yoshida, N., Pernet, O., Hu, R., Kryftis, Y.: Safe parallel programming with session java. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 110\u2013126. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21464-6_8"},{"key":"16_CR51","unstructured":"O\u2019Hearn, P.W.: A primer on separation logic (and automatic program verification and analysis). In: Software Safety and Security - Tools for Analysis and Verification, NATO Science for Peace and Security Series - D: Information and Communication Security, vol. 33. IOS Press (2012)"},{"key":"16_CR52","unstructured":"Organization for the Advancement of Structured Information Standards (OASIS): Web Services Business Process Execution Language (WS-BPEL) Version 2.0, April 2007"},{"key":"16_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31794-4_9"},{"key":"16_CR54","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2015.02.011","volume":"577","author":"M Sevegnani","year":"2015","unstructured":"Sevegnani, M., Calder, M.: Bigraphs with sharing. Theor. Comput. Sci. 577, 43\u201373 (2015). \n                      https:\/\/doi.org\/10.1016\/j.tcs.2015.02.011","journal-title":"Theor. Comput. Sci."},{"key":"16_CR55","doi-asserted-by":"publisher","unstructured":"Uriarte, R.B., Tiezzi, F., De Nicola, R.: SLAC: a formal service-level-agreement language for cloud computing. In: Proceedings of the 7th IEEE\/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, 8\u201311 December 2014, pp. 419\u2013426. IEEE Computer Society (2014). \n                      https:\/\/doi.org\/10.1109\/UCC.2014.53","DOI":"10.1109\/UCC.2014.53"},{"issue":"4","key":"16_CR56","first-page":"583","volume":"73","author":"A Vallecillo","year":"2006","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of software components using session types. Fundam. Inf. 73(4), 583\u2013598 (2006)","journal-title":"Fundam. Inf."},{"issue":"4","key":"16_CR57","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2007.02.056","volume":"171","author":"N Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. Electron. Notes Theor. Comput. Sci. 171(4), 73\u201393 (2007). \n                      https:\/\/doi.org\/10.1016\/j.entcs.2007.02.056","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:13:31Z","timestamp":1562163211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}