{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:39:06Z","timestamp":1780393146931,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T00:00:00Z","timestamp":1473033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K034413\/1"],"award-info":[{"award-number":["EP\/K034413\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,5]]},"DOI":"10.1145\/2967973.2968595","type":"proceedings-article","created":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T18:25:14Z","timestamp":1472754314000},"page":"146-159","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Typechecking protocols with Mungo and StMungo"],"prefix":"10.1145","author":[{"given":"Dimitrios","family":"Kouzapas","sequence":"first","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roly","family":"Perera","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon J.","family":"Gay","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mungo Webpage. http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/.  Mungo Webpage. http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640073"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449783"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115971.3116163"},{"key":"e_1_3_2_1_8_1","series-title":"Springer LNCS","first-page":"57","volume-title":"ESOP '11","author":"Bono Viviana","year":"2011","unstructured":"Viviana Bono , Chiara Messa , and Luca Padovani . Typing copyless message passing . In ESOP '11 , volume 6602 of Springer LNCS , pages 57 -- 76 , 2011 . Viviana Bono, Chiara Messa, and Luca Padovani. Typing copyless message passing. In ESOP '11, volume 6602 of Springer LNCS, pages 57--76, 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.016"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_32"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814287"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_13_1","series-title":"Springer LNCS","first-page":"465","volume-title":"ECOOP '04","author":"DeLine Robert","year":"2004","unstructured":"Robert DeLine and Manuel F\u00e4hndrich . Typestates for objects . In ECOOP '04 , volume 3086 of Springer LNCS , pages 465 -- 490 , 2004 . Robert DeLine and Manuel F\u00e4hndrich. Typestates for objects. In ECOOP '04, volume 3086 of Springer LNCS, pages 465--490, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.03.028"},{"key":"e_1_3_2_1_15_1","series-title":"Springer LNCS","first-page":"207","volume-title":"FMCO '06","author":"Dezani-Ciancaglini Mariangiola","year":"2006","unstructured":"Mariangiola Dezani-Ciancaglini , Elena Giachino , Sophia Drossopoulou , and Nobuko Yoshida . Bounded session types for object oriented languages . In FMCO '06 , volume 4709 of Springer LNCS , pages 207 -- 245 , 2006 . Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, and Nobuko Yoshida. Bounded session types for object oriented languages. In FMCO '06, volume 4709 of Springer LNCS, pages 207--245, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_20"},{"key":"e_1_3_2_1_17_1","series-title":"Springer LNCS","first-page":"299","volume-title":"TGC '05","author":"Dezani-Ciancaglini Mariangiola","year":"2005","unstructured":"Mariangiola Dezani-Ciancaglini , Nobuko Yoshida , Alexander Ahern , and Sophia Drossopolou . A distributed object-oriented language with session types . In TGC '05 , volume 3705 of Springer LNCS , pages 299 -- 318 , 2005 . Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, and Sophia Drossopolou. A distributed object-oriented language with session types. In TGC '05, volume 3705 of Springer LNCS, pages 299--318, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629609"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706335"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1949925.1949930"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_26_1","series-title":"Springer LNCS","first-page":"329","volume-title":"ECOOP '10","author":"Hu Raymond","year":"2010","unstructured":"Raymond Hu , Dimitrios Kouzapas , Olivier Pernet , Nobuko Yoshida , and Kohei Honda . Type-safe eventful sessions in Java . In ECOOP '10 , volume 6183 of Springer LNCS , pages 329 -- 353 , 2010 . Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, and Kohei Honda. Type-safe eventful sessions in Java. In ECOOP '10, volume 6183 of Springer LNCS, pages 329--353, 2010."},{"key":"e_1_3_2_1_27_1","series-title":"Springer LNCS","first-page":"401","volume-title":"FASE '16","author":"Hu Raymond","year":"2016","unstructured":"Raymond Hu and Nobuko Yoshida . Hybrid session verification through endpoint API generation . In FASE '16 , volume 9633 of Springer LNCS , pages 401 -- 418 , 2016 . Raymond Hu and Nobuko Yoshida. Hybrid session verification through endpoint API generation. In FASE '16, volume 9633 of Springer LNCS, pages 401--418, 2016."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_22"},{"key":"e_1_3_2_1_29_1","unstructured":"Idris language homepage. www.idris-lang.org.  Idris language homepage. www.idris-lang.org."},{"key":"e_1_3_2_1_30_1","unstructured":"Dimitrios Kouzapas Ornela Dardha Roly Perera and Simon J. Gay. Typechecking protocols with Mungo and StMungo (long version). http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/papers\/mungo.pdf.  Dimitrios Kouzapas Ornela Dardha Roly Perera and Simon J. Gay. Typechecking protocols with Mungo and StMungo (long version). http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/papers\/mungo.pdf."},{"key":"e_1_3_2_1_31_1","volume-title":"MPI: A message-passing interface standard. Technical report","author":"Forum Message Passing","year":"1994","unstructured":"Message Passing Forum . MPI: A message-passing interface standard. Technical report , University of Tennessee , 1994 . Message Passing Forum. MPI: A message-passing interface standard. Technical report, University of Tennessee, 1994."},{"key":"e_1_3_2_1_32_1","volume-title":"FTfJP '10","author":"Milit\u00e3o Filipe","year":"2010","unstructured":"Filipe Milit\u00e3o , Jonathan Aldrich , and Lu\u00eds Caires . Aliasing control with view-based typestate . In FTfJP '10 . ACM Press , 2010 . Filipe Milit\u00e3o, Jonathan Aldrich, and Lu\u00eds Caires. Aliasing control with view-based typestate. In FTfJP '10. ACM Press, 2010."},{"key":"e_1_3_2_1_33_1","series-title":"Springer LNCS","first-page":"56","volume-title":"PADL '04","author":"Neubauer Matthias","year":"2004","unstructured":"Matthias Neubauer and Peter Thiemann . An implementation of session types . In PADL '04 , volume 3057 of Springer LNCS , pages 56 -- 70 , 2004 . Matthias Neubauer and Peter Thiemann. An implementation of session types. In PADL '04, volume 3057 of Springer LNCS, pages 56--70, 2004."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43376-8_9"},{"key":"e_1_3_2_1_35_1","series-title":"Springer LNCS","first-page":"358","volume-title":"RV '13","author":"Neykova Rumyana","year":"2013","unstructured":"Rumyana Neykova , Nobuko Yoshida , and Raymond Hu . SPY: local verification of global protocols . In RV '13 , volume 8174 of Springer LNCS , pages 358 -- 363 , 2013 . Rumyana Neykova, Nobuko Yoshida, and Raymond Hu. SPY: local verification of global protocols. In RV '13, volume 8174 of Springer LNCS, pages 358--363, 2013."},{"key":"e_1_3_2_1_36_1","series-title":"Springer LNCS","first-page":"212","volume-title":"CC '15","author":"Ng Nicholas","year":"2015","unstructured":"Nicholas Ng , Jos\u00e9 Gabriel de Figueiredo Coutinho, and Nobuko Yoshida. Protocols by default - safe MPI code generation based on session types . In CC '15 , volume 9031 of Springer LNCS , pages 212 -- 232 , 2015 . Nicholas Ng, Jos\u00e9 Gabriel de Figueiredo Coutinho, and Nobuko Yoshida. Protocols by default - safe MPI code generation based on session types. In CC '15, volume 9031 of Springer LNCS, pages 212--232, 2015."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_15"},{"key":"e_1_3_2_1_38_1","series-title":"Springer LNCS","first-page":"110","volume-title":"COORDINATION '11","author":"Ng Nicholas","year":"2011","unstructured":"Nicholas Ng , Nobuko Yoshida , Olivier Pernet , Raymond Hu , and Yiannos Kryftis . Safe parallel programming with Session Java . In COORDINATION '11 , volume 6721 of Springer LNCS , pages 110 -- 126 , 2011 . Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, and Yiannos Kryftis. Safe parallel programming with Session Java. In COORDINATION '11, volume 6721 of Springer LNCS, pages 110--126, 2011."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_40_1","unstructured":"Rust language homepage. www.rust-lang.org.  Rust language homepage. www.rust-lang.org."},{"key":"e_1_3_2_1_41_1","unstructured":"Scribble project homepage. www.scribble.org.  Scribble project homepage. www.scribble.org."},{"key":"e_1_3_2_1_42_1","unstructured":"Extended simple mail transfer protocol RFC 5321. https:\/\/tools.ietf.org\/html\/rfc5321.  Extended simple mail transfer protocol RFC 5321. https:\/\/tools.ietf.org\/html\/rfc5321."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048122"},{"key":"e_1_3_2_1_45_1","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1145\/2069172","volume-title":"ECOOP '11","author":"Wolff Roger","year":"2011","unstructured":"Roger Wolff , Ronald Garcia , Eric Tanter , and Jonathan Aldrich . Gradual typestate . In ECOOP '11 , volume 6813 of Springer LNCS , pages 459 -- 483 , 2011 . Roger Wolff, Ronald Garcia, Eric Tanter, and Jonathan Aldrich. Gradual typestate. In ECOOP '11, volume 6813 of Springer LNCS, pages 459--483, 2011."},{"key":"e_1_3_2_1_46_1","series-title":"Springer LNCS","first-page":"22","volume-title":"TGC '13","author":"Yoshida Nobuko","year":"2013","unstructured":"Nobuko Yoshida , Raymond Hu , Rumyana Neykova , and Nicholas Ng . The Scribble protocol language . In TGC '13 , volume 8358 of Springer LNCS , pages 22 -- 41 , 2013 . Nobuko Yoshida, Raymond Hu, Rumyana Neykova, and Nicholas Ng. The Scribble protocol language. In TGC '13, volume 8358 of Springer LNCS, pages 22--41, 2013."}],"event":{"name":"PPDP '16: 18th International Symposium on Principles and Practice of Declarative Programming","location":"Edinburgh United Kingdom","acronym":"PPDP '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968595","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2967973.2968595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:03Z","timestamp":1750223223000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,5]]},"references-count":46,"alternative-id":["10.1145\/2967973.2968595","10.1145\/2967973"],"URL":"https:\/\/doi.org\/10.1145\/2967973.2968595","relation":{},"subject":[],"published":{"date-parts":[[2016,9,5]]},"assertion":[{"value":"2016-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}