{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:29Z","timestamp":1760202749448,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319602240"},{"type":"electronic","value":"9783319602257"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60225-7_12","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:26:37Z","timestamp":1495837597000},"page":"171-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Classical Higher-Order Processes"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Montesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L., L\u00e9vy, J.-J.: Explicit substitutions. J. Funct. Program. 1(4), 375\u2013416 (1991)","journal-title":"J. Funct. Program."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-39570-8_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Caires","year":"2016","unstructured":"Caires, L., P\u00e9rez, J.A.: Multiparty session types within a canonical binary theory, and beyond. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 74\u201395. Springer, Cham (2016). doi:\n                    10.1007\/978-3-319-39570-8_6"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-37036-6_19","volume-title":"Programming Languages and Systems","author":"L Caires","year":"2013","unstructured":"Caires, L., P\u00e9rez, J.A., Pfenning, F., Toninho, B.: Behavioral polymorphism and parametricity in session-based communication. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 330\u2013349. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-37036-6_19"},{"issue":"3","key":"12_CR4","first-page":"367","volume":"26","author":"L Caires","year":"2016","unstructured":"Caires, L., Pfenning, F., Toninho, B.: Linear logic propositions as session types. MSCS 26(3), 367\u2013423 (2016). Also: Caires and Pfenning, CONCUR, pages 222\u2013236, 2010","journal-title":"MSCS"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-662-43376-8_4","volume-title":"Coordination Models and Languages","author":"M Carbone","year":"2014","unstructured":"Carbone, M., Dardha, O., Montesi, F.: Progress as compositional lock-freedom. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 49\u201364. Springer, Heidelberg (2014). doi:\n                    10.1007\/978-3-662-43376-8_4"},{"key":"12_CR6","unstructured":"Carbone, M., Lindley, S., Montesi, F., Sch\u00fcrmann, C., Wadler, P.: Coherence generalises duality: a logical explanation of multiparty session types. In: CONCUR, LIPIcs, vol. 59, pp. 33:1\u201333:15 (2016)"},{"key":"12_CR7","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C.: Choreographies, logically. Distributed Computing, pp. 1\u201317 (2017). Also: CONCUR, pages 47\u201362, 2014"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s00236-016-0285-y","volume":"54","author":"M Carbone","year":"2017","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C., Yoshida, N.: Multiparty session types as coherence proofs. Acta Inf. 54(3), 243\u2013269 (2017). Also: CONCUR, pp. 412\u2013426, 2015","journal-title":"Acta Inf."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Dragoni, N., Giallorenzo, S., Lluch-Lafuente, A., Mazzara, M., Montesi, F., Mustafin, R., Safina, L.: Microservices: yesterday, today, and tomorrow. In: Present And Ulterior Software Engineering (PAUSE). Springer (2017, to appear). \n                    https:\/\/arxiv.org\/abs\/1606.04036","DOI":"10.1007\/978-3-319-67425-4_12"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: ESOP, pp. 22\u2013138 (1998)","DOI":"10.1007\/BFb0053567"},{"issue":"1","key":"12_CR11","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, D.: A calculus of mobile processes, I. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"12_CR12","unstructured":"Montesi, F.: Choreographic programming. Ph.D. thesis, IT University of Copenhagen (2013). \n                    http:\/\/www.fabriziomontesi.com\/files\/choreographic_programming.pdf"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-1-4614-7518-7_4","volume-title":"Web Services Foundations","author":"F Montesi","year":"2014","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81\u2013107. Springer, Heidelberg (2014)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.ic.2015.02.002","volume":"241","author":"D Mostrous","year":"2015","unstructured":"Mostrous, D., Yoshida, N.: Session typing and asynchronous subtyping for the higher-order \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus. Inf. Comput. 241, 227\u2013263 (2015)","journal-title":"Inf. Comput."},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"TAPSOFT\u201993: Theory and Practice of Software Development","author":"D Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus to higher-order \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus \u2014 and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993. LNCS, vol. 668, pp. 151\u2013166. Springer, Heidelberg (1993). doi:\n                    10.1007\/3-540-56610-4_62"},{"issue":"1&2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(96)00075-8","volume":"167","author":"D Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: Pi-calculus, internal mobility, and agent-passing calculi. TCS 167(1&2), 235\u2013274 (1996)","journal-title":"TCS"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-37036-6_20","volume-title":"Programming Languages and Systems","author":"B Toninho","year":"2013","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Higher-order processes, functions, and sessions: a monadic integration. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 350\u2013369. Springer, Heidelberg (2013). doi:\n                    10.1007\/978-3-642-37036-6_20"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-662-45917-1_11","volume-title":"Trustworthy Global Computing","author":"B Toninho","year":"2014","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Corecursion and non-divergence in session-typed processes. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 159\u2013175. Springer, Heidelberg (2014). doi:\n                    10.1007\/978-3-662-45917-1_11"},{"issue":"2\u20133","key":"12_CR19","first-page":"384","volume":"24","author":"P Wadler","year":"2014","unstructured":"Wadler, P.: Propositions as sessions. JFP 24(2\u20133), 384\u2013418 (2014). Also: ICFP, pp. 273\u2013286 (2012)","journal-title":"Propositions as sessions. JFP"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60225-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T09:55:28Z","timestamp":1578477328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60225-7_12"}},"subtitle":["(Short Paper)"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319602240","9783319602257"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60225-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"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":"Neuch\u00e2tel","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.discotec.org\/calls\/forte-2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}