{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:56:37Z","timestamp":1730314597085,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,9,7]]},"DOI":"10.1145\/1599410.1599437","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T08:53:09Z","timestamp":1252399989000},"page":"219-230","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Foundations of session types"],"prefix":"10.1145","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[{"name":"Universit\u00e9 Denis Diderot, Paris, France"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Torino, Torino, Italy"}]},{"given":"Elena","family":"Giachino","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Torino, Torino, Italy"}]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Urbino, Urbino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-540-68679-8_40"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-540-68863-1_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-642-00590-9_21"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1016\/j.tcs.2008.01.049"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1069774.1069793"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1328438.1328471"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"90","volume-title":"FST&TCS '98","author":"Castellani I.","year":"1998","unstructured":"I. Castellani and M. Hennessy . Testing theories for asynchronous languages . In FST&TCS '98 , volume 1350 of LNCS , pages 90 -- 101 . Springer , 1998 . I. Castellani and M. Hennessy. Testing theories for asynchronous languages. In FST&TCS '98, volume 1350 of LNCS, pages 90--101. Springer, 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume-title":"TAPSOFT\/CAAP'87","author":"De Nicola R.","year":"1987","unstructured":"R. De Nicola and M. Hennessy . CCS without \u03c4's . In TAPSOFT\/CAAP'87 , volume 249 of LNCS , pages 138 -- 152 . Springer , 1987 . R. De Nicola and M. Hennessy. CCS without \u03c4's. In TAPSOFT\/CAAP'87, volume 249 of LNCS, pages 138--152. Springer, 1987."},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"257","volume-title":"TGC'07","author":"Dezani-Ciancaglini M.","year":"2008","unstructured":"M. Dezani-Ciancaglini , U. de'Liguoro, and N. Yoshida. On progress for structured communications . In TGC'07 , volume 4912 of LNCS , pages 257 -- 275 . Springer , 2008 . M. Dezani-Ciancaglini, U. de'Liguoro, and N. Yoshida. On progress for structured communications. In TGC'07, volume 4912 of LNCS, pages 257--275. Springer, 2008."},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"207","volume-title":"FMCO'06","author":"Dezani-Ciancaglini M.","year":"2007","unstructured":"M. Dezani-Ciancaglini , E. Giachino , S. Drossopoulou , and N. Yoshida . Bounded session types for object-oriented languages . In FMCO'06 , volume 4709 of LNCS , pages 207 -- 245 . Springer , 2007 . M. Dezani-Ciancaglini, E. Giachino, S. Drossopoulou, and N. Yoshida. Bounded session types for object-oriented languages. In FMCO'06, volume 4709 of LNCS, pages 207--245. Springer, 2007."},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"299","volume-title":"TGC'05","author":"Dezani-Ciancaglini M.","year":"2005","unstructured":"M. Dezani-Ciancaglini , N. Yoshida , A. Ahern , and S. Drossopoulou . A distributed object oriented language with session types . In TGC'05 , volume 3705 of LNCS , pages 299 -- 318 . Springer , 2005 . M. Dezani-Ciancaglini, N. Yoshida, A. Ahern, and S. Drossopoulou. A distributed object oriented language with session types. In TGC'05, volume 3705 of LNCS, pages 299--318. Springer, 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/1-4020-8141-3_50"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1391289.1391293"},{"issue":"5","key":"e_1_3_2_1_15_1","first-page":"895","article-title":"Bounded polymorphism in session types","volume":"18","author":"Gay S.","year":"2008","unstructured":"S. Gay . Bounded polymorphism in session types . MSCS , 18 ( 5 ): 895 -- 930 , 2008 . S. Gay. Bounded polymorphism in session types. MSCS, 18(5):895--930, 2008.","journal-title":"MSCS"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/s00236-005-0177-z"},{"volume-title":"Linear type theory for asynchronous session types. Available online","year":"2008","author":"Gay S.","unstructured":"S. Gay and V.T. Vasconcelos . Linear type theory for asynchronous session types. Available online , 2008 . S. Gay and V.T. Vasconcelos. Linear type theory for asynchronous session types. Available online, 2008.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","volume-title":"ICALP'90","author":"Hennessy M.","year":"1990","unstructured":"M. Hennessy and A. Ing\u00f3lfsd\u00f3ttir . A theory of communicating processes with value-passing . In ICALP'90 , volume 443 of LNCS . Springer , 1990 . M. Hennessy and A. Ing\u00f3lfsd\u00f3ttir. A theory of communicating processes with value-passing. In ICALP'90, volume 443 of LNCS. Springer, 1990."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.5555\/646728.703349"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-642-00590-9_23"},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","volume-title":"ESOP'98","author":"Honda K.","year":"1998","unstructured":"K. Honda , V.T. Vasconcelos , and M. Kubo . Language primitives and type discipline for structured communication-based programming . In ESOP'98 , volume 1381 of LNCS . Springer , 1998 . K. Honda, V.T. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP'98, volume 1381 of LNCS. Springer, 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1328438.1328472"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/S0304-3975(03)00325-6"},{"volume-title":"FMC'03, LNCS 2757","year":"2003","author":"Kobayashi N.","unstructured":"N. Kobayashi . Type systems for concurrent programs . In FMC'03, LNCS 2757 . Springer , 2003 . N. Kobayashi. Type systems for concurrent programs. In FMC'03, LNCS 2757. Springer, 2003.","key":"e_1_3_2_1_24_1"},{"volume-title":"Type systems for concurrent programs. Extended version of {24}","year":"2007","author":"Kobayashi N.","unstructured":"N. Kobayashi . Type systems for concurrent programs. Extended version of {24} , Tohoku University , 2007 . N. Kobayashi. Type systems for concurrent programs. Extended version of {24}, Tohoku University, 2007.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","first-page":"216","volume-title":"COORDINATION'08","author":"Mezzina L.G.","year":"2008","unstructured":"L.G. Mezzina . How to infer finite session types in a calculus of services and sessions . In COORDINATION'08 , volume 5052 of LNCS , pages 216 -- 231 . Springer , 2008 . L.G. Mezzina. How to infer finite session types in a calculus of services and sessions. In COORDINATION'08, volume 5052 of LNCS, pages 216--231. Springer, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1016\/0304-3975(93)90156-N"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1017\/S096012950007002X"},{"volume-title":"FOCLASA'02","year":"2002","author":"Vallecillo A.","unstructured":"A. Vallecillo , V.T. Vasconcelos , and A. Ravara . Typing the behavior of objects and components using session types . In FOCLASA'02 , volume 68(3) of ENTCS, pages 439-- 456 . Elsevier , 2002 . A. Vallecillo, V.T. Vasconcelos, and A. Ravara. Typing the behavior of objects and components using session types. In FOCLASA'02, volume 68(3) of ENTCS, pages 439--456. Elsevier, 2002.","key":"e_1_3_2_1_29_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1007\/978-3-642-01918-0_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1016\/j.entcs.2007.02.056"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"PPDP '09","name":"PPDP '09: Principles and Practice of Declarative Programming","location":"Coimbra Portugal"},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1599410.1599437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T14:58:55Z","timestamp":1673449135000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":31,"alternative-id":["10.1145\/1599410.1599437","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599437","relation":{},"subject":[],"published":{"date-parts":[[2009,9,7]]},"assertion":[{"value":"2009-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
