{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:18Z","timestamp":1750220358634,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["016.Veni.192.103"],"award-info":[{"award-number":["016.Veni.192.103"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3473127","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:37Z","timestamp":1629337237000},"page":"1590-1594","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Analysis of specifications of multiparty sessions with dcj-lint"],"prefix":"10.1145","author":[{"given":"Erik","family":"Horlings","sequence":"first","affiliation":[{"name":"Open University of the Netherlands, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sung-Shik","family":"Jongmans","sequence":"additional","affiliation":[{"name":"Open University of the Netherlands, Netherlands \/ CWI, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1561\/2500000031"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0020-0190(85)90083-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-662-44584-6_29"},{"key":"e_1_3_2_1_4_1","volume-title":"Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse.","author":"Bunte Olav","year":"2019","unstructured":"Olav Bunte , Jan Friso Groote , Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse. 2019 . The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. In TACAS (2) (Lecture Notes in Computer Science , Vol. 11428). Springer, 21\u2013 39 . Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse. 2019. The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. In TACAS (2) (Lecture Notes in Computer Science, Vol. 11428). Springer, 21\u201339."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/j.ic.2014.07.005"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1017\/S0960129514000619"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/978-3-642-15375-4_17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s00165-016-0381-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/3290342"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/TSE.1983.234958"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_12_1","volume-title":"Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, and Tim A. C. Willemse.","author":"Cranen Sjoerd","year":"2013","unstructured":"Sjoerd Cranen , Jan Friso Groote , Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, and Tim A. C. Willemse. 2013 . An Overview of the mCRL2 Toolset and Its Recent Advances. In TACAS (Lecture Notes in Computer Science , Vol. 7795). Springer, 199\u2013 213 . Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, and Tim A. C. Willemse. 2013. An Overview of the mCRL2 Toolset and Its Recent Advances. In TACAS (Lecture Notes in Computer Science, Vol. 7795). Springer, 199\u2013213."},{"key":"e_1_3_2_1_13_1","volume-title":"Parameterised Multiparty Session Types. Log. Methods Comput. Sci., 8, 4","author":"Deni\u00e9lou Pierre-Malo","year":"2012","unstructured":"Pierre-Malo Deni\u00e9lou , Nobuko Yoshida , Andi Bejleri , and Raymond Hu. 2012. Parameterised Multiparty Session Types. Log. Methods Comput. Sci., 8, 4 ( 2012 ). Pierre-Malo Deni\u00e9lou, Nobuko Yoshida, Andi Bejleri, and Raymond Hu. 2012. Parameterised Multiparty Session Types. Log. Methods Comput. Sci., 8, 4 (2012)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"e_1_3_2_1_15_1","volume-title":"Discourje: Runtime Verification of Communication Protocols in Clojure. In TACAS (1) (Lecture Notes in Computer Science","author":"Hamers Ruben","year":"2020","unstructured":"Ruben Hamers and Sung-Shik Jongmans . 2020 . Discourje: Runtime Verification of Communication Protocols in Clojure. In TACAS (1) (Lecture Notes in Computer Science , Vol. 12078). Springer, 266\u2013 284 . Ruben Hamers and Sung-Shik Jongmans. 2020. Discourje: Runtime Verification of Communication Protocols in Clojure. In TACAS (1) (Lecture Notes in Computer Science, Vol. 12078). Springer, 266\u2013284."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/3386321"},{"volume-title":"The SPIN Model Checker - primer and reference manual","author":"Holzmann Gerard J.","unstructured":"Gerard J. Holzmann . 2004. The SPIN Model Checker - primer and reference manual . Addison-Wesley . Gerard J. Holzmann. 2004. The SPIN Model Checker - primer and reference manual. Addison-Wesley.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"crossref","unstructured":"Kohei Honda Nobuko Yoshida and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL. ACM 273\u2013284.  Kohei Honda Nobuko Yoshida and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL. ACM 273\u2013284.","key":"e_1_3_2_1_18_1","DOI":"10.1145\/1328897.1328472"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/2827695"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-662-49665-7_24"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-662-54494-5_7"},{"key":"e_1_3_2_1_22_1","volume-title":"Hugo Torres Vieira, and Gianluigi Zavattaro","author":"H\u00fcttel Hans","year":"2016","unstructured":"Hans H\u00fcttel , Ivan Lanese , Vasco T. Vasconcelos , Lu\u00eds Caires , Marco Carbone , Pierre-Malo Deni\u00e9lou , Dimitris Mostrous , Luca Padovani , Ant\u00f3nio Ravara , Emilio Tuosto , Hugo Torres Vieira, and Gianluigi Zavattaro . 2016 . Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv ., 49, 1 (2016), 3:1\u20133:36. Hans H\u00fcttel, Ivan Lanese, Vasco T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv., 49, 1 (2016), 3:1\u20133:36."},{"volume-title":"Once and For All","author":"Kupferman Orna","unstructured":"Orna Kupferman and Amir Pnueli . 1995. Once and For All . In LICS. IEEE Computer Society , 25\u201335. Orna Kupferman and Amir Pnueli. 1995. Once and For All. In LICS. IEEE Computer Society, 25\u201335.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"crossref","unstructured":"Julien Lange Nicholas Ng Bernardo Toninho and Nobuko Yoshida. 2018. A static verification framework for message passing in Go using behavioural types. In ICSE. ACM 1137\u20131148.  Julien Lange Nicholas Ng Bernardo Toninho and Nobuko Yoshida. 2018. A static verification framework for message passing in Go using behavioural types. In ICSE. ACM 1137\u20131148.","key":"e_1_3_2_1_24_1","DOI":"10.1145\/3180155.3180157"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1007\/s100090050010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/s00165-017-0420-8"},{"doi-asserted-by":"crossref","unstructured":"Rumyana Neykova Raymond Hu Nobuko Yoshida and Fahd Abdeljallal. 2018. A session type provider: compile-time API generation of distributed protocols with refinements in F#. In CC. ACM 128\u2013138.  Rumyana Neykova Raymond Hu Nobuko Yoshida and Fahd Abdeljallal. 2018. A session type provider: compile-time API generation of distributed protocols with refinements in F#. In CC. ACM 128\u2013138.","key":"e_1_3_2_1_27_1","DOI":"10.1145\/3178372.3179495"},{"doi-asserted-by":"crossref","unstructured":"Rumyana Neykova and Nobuko Yoshida. 2017. Let it recover: multiparty protocol-induced recovery. In CC. ACM 98\u2013108.  Rumyana Neykova and Nobuko Yoshida. 2017. Let it recover: multiparty protocol-induced recovery. In CC. ACM 98\u2013108.","key":"e_1_3_2_1_28_1","DOI":"10.1145\/3033019.3033031"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/s11761-014-0172-8"},{"key":"e_1_3_2_1_30_1","volume-title":"ECOOP (LIPIcs","volume":"31","author":"Scalas Alceste","year":"2017","unstructured":"Alceste Scalas , Ornela Dardha , Raymond Hu , and Nobuko Yoshida . 2017 . A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming . In ECOOP (LIPIcs , Vol. 74). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 24:1\u201324: 31 . Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP (LIPIcs, Vol. 74). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 24:1\u201324:31."},{"key":"e_1_3_2_1_31_1","volume-title":"POPL","author":"Scalas Alceste","year":"2019","unstructured":"Alceste Scalas and Nobuko Yoshida . 2019. Less is more: multiparty session types revisited. PACMPL, 3 , POPL ( 2019 ), 30:1\u201330:29. Alceste Scalas and Nobuko Yoshida. 2019. Less is more: multiparty session types revisited. PACMPL, 3, POPL (2019), 30:1\u201330:29."},{"doi-asserted-by":"crossref","unstructured":"Alceste Scalas Nobuko Yoshida and Elias Benussi. 2019. Effpi: verified message-passing programs in Dotty. In SCALA@ECOOP. ACM 27\u201331.  Alceste Scalas Nobuko Yoshida and Elias Benussi. 2019. Effpi: verified message-passing programs in Dotty. In SCALA@ECOOP. ACM 27\u201331.","key":"e_1_3_2_1_32_1","DOI":"10.1145\/3337932.3338812"},{"doi-asserted-by":"crossref","unstructured":"Alceste Scalas Nobuko Yoshida and Elias Benussi. 2019. Verifying message-passing programs with dependent behavioural types. In PLDI. ACM 502\u2013516.  Alceste Scalas Nobuko Yoshida and Elias Benussi. 2019. Verifying message-passing programs with dependent behavioural types. In PLDI. ACM 502\u2013516.","key":"e_1_3_2_1_33_1","DOI":"10.1145\/3314221.3322484"},{"volume-title":"Prut4j: Protocol Unit Testing fo(u)r Java","author":"Slob Florian Joost","unstructured":"Florian Joost Slob and Sung-Shik Jongmans . 2021. Prut4j: Protocol Unit Testing fo(u)r Java . In ICST. IEEE , 448\u2013453. Florian Joost Slob and Sung-Shik Jongmans. 2021. Prut4j: Protocol Unit Testing fo(u)r Java. In ICST. IEEE, 448\u2013453.","key":"e_1_3_2_1_34_1"},{"unstructured":"Tengfei Tu Xiaoyu Liu Linhai Song and Yiying Zhang. 2019. Understanding Real-World Concurrency Bugs in Go. In ASPLOS. ACM 865\u2013878.  Tengfei Tu Xiaoyu Liu Linhai Song and Yiying Zhang. 2019. Understanding Real-World Concurrency Bugs in Go. In ASPLOS. ACM 865\u2013878.","key":"e_1_3_2_1_35_1"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE '21","name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Athens Greece"},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3473127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:22Z","timestamp":1750191442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":35,"alternative-id":["10.1145\/3468264.3473127","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3473127","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}