{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:17:32Z","timestamp":1760203052030,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Dutch research council","award":["No. 016.Vidi.189.046"],"award-info":[{"award-number":["No. 016.Vidi.189.046"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479407","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Minimal Session Types for the \u03c0-calculus"],"prefix":"10.1145","author":[{"given":"Alen","family":"Arslanagic","sequence":"first","affiliation":[{"name":"University of Groningen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anda-Amelia","family":"Palamariuc","sequence":"additional","affiliation":[{"name":"University of Groningen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[{"name":"University of Groningen and CWI, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Alen Arslanagic Anda-Amelia Palamariuc and Jorge\u00a0A. P\u00e9rez. 2021. Minimal Session Types for the \u03c0-calculus (Extended Version). CoRR abs\/2107.10936(2021). arxiv:2107.10936http:\/\/arxiv.org\/abs\/2107.10936  Alen Arslanagic Anda-Amelia Palamariuc and Jorge\u00a0A. P\u00e9rez. 2021. Minimal Session Types for the \u03c0-calculus (Extended Version). CoRR abs\/2107.10936(2021). arxiv:2107.10936http:\/\/arxiv.org\/abs\/2107.10936"},{"key":"e_1_3_2_1_2_1","volume-title":"33rd European Conference on Object-Oriented Programming, ECOOP 2019","author":"Arslanagic Alen","year":"2019","unstructured":"Alen Arslanagic , Jorge\u00a0 A. P\u00e9rez , and Erik Voogd . 2019 . Minimal Session Types (Pearl) . In 33rd European Conference on Object-Oriented Programming, ECOOP 2019 , July 15-19, 2019, London, United Kingdom(LIPIcs, Vol.\u00a0134), Alastair\u00a0F. Donaldson (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 23:1\u201323:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2019.23 10.4230\/LIPIcs.ECOOP.2019.23 Alen Arslanagic, Jorge\u00a0A. P\u00e9rez, and Erik Voogd. 2019. Minimal Session Types (Pearl). In 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom(LIPIcs, Vol.\u00a0134), Alastair\u00a0F. Donaldson (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 23:1\u201323:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2019.23"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23217-6_19"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.160.9"},{"volume-title":"CONCUR\u201993(LNCS, Vol.\u00a0715)","author":"Honda Kohei","key":"e_1_3_2_1_6_1","unstructured":"Kohei Honda . 1993. Types for Dyadic Interaction . In CONCUR\u201993(LNCS, Vol.\u00a0715) , Eike Best(Ed.). Springer-Verlag , 509\u2013523. Kohei Honda. 1993. Types for Dyadic Interaction. In CONCUR\u201993(LNCS, Vol.\u00a0715), Eike Best(Ed.). Springer-Verlag, 509\u2013523."},{"volume-title":"ESOP\u201998(LNCS, Vol.\u00a01381)","author":"Honda Kohei","key":"e_1_3_2_1_7_1","unstructured":"Kohei Honda , Vasco\u00a0 T. Vasconcelos , and Makoto Kubo . 1998. Language Primitives and Type Disciplines for Structured Communication-based Programming . In ESOP\u201998(LNCS, Vol.\u00a01381) . Springer , 22\u2013138. Kohei Honda, Vasco\u00a0T. Vasconcelos, and Makoto Kubo. 1998. Language Primitives and Type Disciplines for Structured Communication-based Programming. In ESOP\u201998(LNCS, Vol.\u00a01381). Springer, 22\u2013138."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_18"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0289-7"},{"key":"#cr-split#-e_1_3_2_1_11_1.1","doi-asserted-by":"crossref","unstructured":"Dimitrios Kouzapas Jorge\u00a0A. P\u00e9rez and Nobuko Yoshida. 2019. On the relative expressiveness of higher-order session processes. Inf. Comput. 268(2019). https:\/\/doi.org\/10.1016\/j.ic.2019.06.002 10.1016\/j.ic.2019.06.002","DOI":"10.1016\/j.ic.2019.06.002"},{"key":"#cr-split#-e_1_3_2_1_11_1.2","doi-asserted-by":"crossref","unstructured":"Dimitrios Kouzapas Jorge\u00a0A. P\u00e9rez and Nobuko Yoshida. 2019. On the relative expressiveness of higher-order session processes. Inf. Comput. 268(2019). https:\/\/doi.org\/10.1016\/j.ic.2019.06.002","DOI":"10.1016\/j.ic.2019.06.002"},{"key":"e_1_3_2_1_12_1","volume-title":"Proof, Language, and Interaction, Essays in Honour of Robin Milner, Gordon\u00a0D","author":"Parrow Joachim","year":"1996","unstructured":"Joachim Parrow . 2000. Trios in concert . In Proof, Language, and Interaction, Essays in Honour of Robin Milner, Gordon\u00a0D . Plotkin, Colin Stirling, and Mads Tofte (Eds.). The MIT Press , 623\u2013638. Online version, dated July 22, 1996 , available at http:\/\/user.it.uu.se\/~joachim\/trios.pdf. Joachim Parrow. 2000. Trios in concert. In Proof, Language, and Interaction, Essays in Honour of Robin Milner, Gordon\u00a0D. Plotkin, Colin Stirling, and Mads Tofte (Eds.). The MIT Press, 623\u2013638. Online version, dated July 22, 1996, available at http:\/\/user.it.uu.se\/~joachim\/trios.pdf."}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2021","location":"Tallinn Estonia"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":13,"alternative-id":["10.1145\/3479394.3479407","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479407","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}