{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:26:37Z","timestamp":1759638397235,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_2","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"15-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Concurrent Programming Language with Refined Session Types"],"prefix":"10.1007","author":[{"given":"Juliana","family":"Franco","sequence":"first","affiliation":[]},{"given":"Vasco Thudichum","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Baltazar, P., Mostrous, D., Vasconcelos, V.T.: Linearly refined session types. In: 2nd International Workshop on Linearity, vol. 101 of EPTCS, pp. 38\u201349 (2012)","DOI":"10.4204\/EPTCS.101.4"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: Computer Security Foundations Symposium, pp. 124\u2013140. IEEE (2009)","DOI":"10.1109\/CSF.2009.26"},{"key":"2_CR3","unstructured":"Boudol, G.: Asynchrony and the pi-calculus (note). Rapport de Recherche 1702, INRIA, Sophia-Antipolis (1992)"},{"key":"2_CR4","unstructured":"Caldeira, A., Vasconcelos, V.T.: Bica. http:\/\/gloss.di.fc.ul.pt\/bica"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Campos, J., Vasconcelos, V.T.: Channels as objects in concurrent object-oriented programming. In: 3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, vol. 69 of EPTCS, pp. 12\u201328 (2011)","DOI":"10.4204\/EPTCS.69.2"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/1218063.1217953","volume":"40","author":"M F\u00e4hndrich","year":"2006","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. Oper. Syst. Rev. 40(4), 177\u2013190 (2006)","journal-title":"Oper. Syst. Rev."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Gay, S., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z.: Modular session types for distributed object-oriented programming. In: Principles of Programming Languages, pp. 299\u2013312. ACM (2010)","DOI":"10.1145\/1707801.1706335"},{"issue":"2\/3","key":"2_CR8","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.J.: Subtyping for session types in the pi calculus. Acta Inf. 42(2\/3), 191\u2013225 (2005)","journal-title":"Acta Inf."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR10","series-title":"LNCS","first-page":"55","volume-title":"ICDCIT 2011","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"2_CR11","series-title":"LNCS","first-page":"133","volume-title":"ECOOP 1991","author":"K Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"2_CR12","series-title":"LNCS","first-page":"122","volume-title":"ESOP 1998","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Principles of Programming Languages, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"2_CR14","series-title":"LNCS","first-page":"516","volume-title":"ECOOP 2008","author":"R Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. J. Math. Struct. Comput. Sci. 2(2), 119\u2013141 (1992)","journal-title":"J. Math. Struct. Comput. Sci."},{"key":"2_CR16","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, part I\/II. Inf. Comput. 100, 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"2_CR17","series-title":"LNCS","first-page":"56","volume-title":"PADL 2004","author":"M Neubauer","year":"2004","unstructured":"Neubauer, M., Thiemann, P.: An implementation of session types. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 56\u201370. Springer, Heidelberg (2004)"},{"key":"2_CR18","series-title":"LNCS","first-page":"202","volume-title":"TOOLS 2012","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"455","DOI":"10.7551\/mitpress\/5641.003.0022","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"BC Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: a programming language based on the pi-calculus. In: Plotkin, G.D., Stirling, C.P., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 455\u2013494. MIT Press, Massachusetts (2000)"},{"key":"2_CR20","unstructured":"Sackman, M., Eisenbach, S.: Session types in Haskell: updating message passing for the 21st century. Technical report, Department of Computing, Imperial College (2008) (2008)"},{"key":"2_CR21","unstructured":"Turner, D.N.: The polymorphic Pi-calculus: theory and implementation. Ph.D. thesis, University of Edinburgh (1995)"},{"key":"2_CR22","series-title":"LNCS","first-page":"202","volume-title":"ECOOP 1994","author":"N Ng","year":"1994","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Pareschi, R. (ed.) ECOOP 1994. LNCS, vol. 821, pp. 202\u2013218. Springer, Heidelberg (1994)"},{"key":"2_CR23","unstructured":"Vasconcelos, V.T.: TyCO gently. DI\/FCUL TR 01\u20134, Faculty of Sciences, Department of Informatics, University of Lisbon (2001)"},{"key":"2_CR24","first-page":"53","volume":"103","author":"VT Vasconcelos","year":"2011","unstructured":"Vasconcelos, V.T.: Sessions, from types to programming languages. Bull. Eur. Assoc. Theor. Comput. Sci. 103, 53\u201373 (2011)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ic.2012.05.002","volume":"217","author":"VT Vasconcelos","year":"2012","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T21:35:05Z","timestamp":1716586505000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}