@inproceedings(DBLP:conf/lics/AbdullaAA16,
 author       = {Parosh Aziz Abdulla and C. Aiswarya and Mohamed Faouzi Atig},
 year         = {2016},
 title        = {Data Communicating Processes with Unreliable Channels},
 editor       = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
 booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
 publisher    = {{ACM}},
 pages        = {166--175},
 doi          = {10.1145/2933575.2934535},
)
@inproceedings(DBLP:conf/cav/AbdullaBJ98,
 author       = {Parosh Aziz Abdulla and Ahmed Bouajjani and Bengt Jonsson},
 year         = {1998},
 title        = {On-the-Fly Analysis of Systems with Unbounded, Lossy {FIFO} Channels},
 editor       = {Alan J. Hu and Moshe Y. Vardi},
 booktitle    = {Computer Aided Verification, 10th International Conference, {CAV}'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1427},
 publisher    = {Springer},
 pages        = {305--318},
 doi          = {10.1007/BFb0028754},
)
@inproceedings(DBLP:conf/atva/AiswaryaGK14,
 author       = {C. Aiswarya and Paul Gastin and K. Narayan Kumar},
 year         = {2014},
 title        = {Verifying Communicating Multi-pushdown Systems via Split-Width},
 editor       = {Franck Cassez and Jean{-}Fran{\c{c}}ois Raskin},
 booktitle    = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8837},
 publisher    = {Springer},
 pages        = {1--17},
 doi          = {10.1007/978-3-319-11936-6\_1},
)
@article(DBLP:journals/tse/AlurEY03,
 author       = {Rajeev Alur and Kousha Etessami and Mihalis Yannakakis},
 year         = {2003},
 title        = {Inference of Message Sequence Charts},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {29},
 number       = {7},
 pages        = {623--633},
 doi          = {10.1109/TSE.2003.1214326},
)
@article(DBLP:journals/tcs/AlurEY05,
 author       = {Rajeev Alur and Kousha Etessami and Mihalis Yannakakis},
 year         = {2005},
 title        = {Realizability and verification of {MSC} graphs},
 journal      = {Theor. Comput. Sci.},
 volume       = {331},
 number       = {1},
 pages        = {97--114},
 doi          = {10.1016/j.tcs.2004.09.034},
)
@inproceedings(DBLP:conf/concur/AlurY99,
 author       = {Rajeev Alur and Mihalis Yannakakis},
 year         = {1999},
 title        = {Model Checking of Message Sequence Charts},
 editor       = {Jos C. M. Baeten and Sjouke Mauw},
 booktitle    = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1664},
 publisher    = {Springer},
 pages        = {114--129},
 doi          = {10.1007/3-540-48320-9\_10},
)
@inproceedings(DBLP:conf/coordination/BarbaneraLT20,
 author       = {Franco Barbanera and Ivan Lanese and Emilio Tuosto},
 year         = {2020},
 title        = {Choreography Automata},
 editor       = {Simon Bliudze and Laura Bocchi},
 booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12134},
 publisher    = {Springer},
 pages        = {86--106},
 doi          = {10.1007/978-3-030-50029-0\_6},
)
@inproceedings(DBLP:conf/tacas/Ben-AbdallahL97,
 author       = {Ben{-}Abdallah, Han{\^{e}}ne and Stefan Leue},
 year         = {1997},
 title        = {Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts},
 editor       = {Ed Brinksma},
 booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, {TACAS} '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1217},
 publisher    = {Springer},
 pages        = {259--274},
 doi          = {10.1007/BFb0035393},
)
@inproceedings(DBLP:conf/sas/BoigelotGWW97,
 author       = {Bernard Boigelot and Patrice Godefroid and Bernard Willems and Pierre Wolper},
 year         = {1997},
 title        = {The Power of QDDs (Extended Abstract)},
 editor       = {Pascal Van Hentenryck},
 booktitle    = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France, September 8-10, 1997, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1302},
 publisher    = {Springer},
 pages        = {172--186},
 doi          = {10.1007/BFb0032741},
)
@inproceedings(DBLP:conf/concur/BolligFS20,
 author       = {Benedikt Bollig and Alain Finkel and Amrita Suresh},
 year         = {2020},
 title        = {Bounded Reachability Problems Are Decidable in {FIFO} Machines},
 editor       = {Igor Konnov and Laura Kov{\'{a}}cs},
 booktitle    = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)},
 series       = {LIPIcs},
 volume       = {171},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {49:1--49:17},
 doi          = {10.4230/LIPIcs.CONCUR.2020.49},
)
@article(DBLP:journals/corr/abs-1904-06942,
 author       = {Benedikt Bollig and Paul Gastin},
 year         = {2019},
 title        = {Non-Sequential Theory of Distributed Systems},
 journal      = {CoRR},
 volume       = {abs/1904.06942},
 doi          = {10.48550/arXiv.1904.06942},
 eprint       = {1904.06942},
)
@inproceedings(DBLP:conf/concur/BolligGFLLS21,
 author       = {Benedikt Bollig and Cinzia Di Giusto and Alain Finkel and Laetitia Laversa and {\'{E}}tienne Lozes and Amrita Suresh},
 year         = {2021},
 title        = {A Unifying Framework for Deciding Synchronizability},
 editor       = {Serge Haddad and Daniele Varacca},
 booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference},
 series       = {LIPIcs},
 volume       = {203},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {14:1--14:18},
 doi          = {10.4230/LIPIcs.CONCUR.2021.14},
)
@inproceedings(DBLP:conf/cav/BouajjaniEJQ18,
 author       = {Ahmed Bouajjani and Constantin Enea and Kailiang Ji and Shaz Qadeer},
 year         = {2018},
 title        = {On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony},
 editor       = {Hana Chockler and Georg Weissenbacher},
 booktitle    = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10982},
 publisher    = {Springer},
 pages        = {372--391},
 doi          = {10.1007/978-3-319-96142-2\_23},
)
@article(DBLP:journals/jacm/BrandZ83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {J. {ACM}},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(Carbone2005ATB,
 author       = {Marco Carbone and Kohei Honda and N. Yoshida and R. Milner and G. Brown and Ross-Talbot, Steve},
 year         = {2005},
 title        = {A Theoretical Basis of Communication-Centred Concurrent Programming},
)
@article(DBLP:journals/corr/abs-1203-0780,
 author       = {Giuseppe Castagna and Dezani{-}Ciancaglini, Mariangiola and Luca Padovani},
 year         = {2012},
 title        = {On Global Types and Multi-Party Session},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {8},
 number       = {1},
 doi          = {10.2168/LMCS-8(1:24)2012},
)
@article(DBLP:journals/iandc/CeceF05,
 author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel},
 year         = {2005},
 title        = {Verification of programs with half-duplex communication},
 journal      = {Inf. Comput.},
 volume       = {202},
 number       = {2},
 pages        = {166--190},
 doi          = {10.1016/j.ic.2005.05.006},
)
@inproceedings(DBLP:conf/sefm/DanHC10,
 author       = {Haitao Dan and Robert M. Hierons and Steve Counsell},
 year         = {2010},
 title        = {Non-local Choice and Implied Scenarios},
 editor       = {Jos{\'{e}} Luiz Fiadeiro and Stefania Gnesi and Maggiolo{-}Schettini, Andrea},
 booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
 publisher    = {{IEEE} Computer Society},
 pages        = {53--62},
 doi          = {10.1109/SEFM.2010.14},
)
@inproceedings(DBLP:conf/esop/DenielouY12,
 author       = {Pierre{-}Malo Deni{\'{e}}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty Session Types Meet Communicating Automata},
 editor       = {Helmut Seidl},
 booktitle    = {Programming Languages and Systems - 21st European Symposium on Programming, {ESOP} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7211},
 publisher    = {Springer},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2\_10},
)
@inproceedings(DBLP:conf/eurosys/FahndrichAHHHLL06,
 author       = {Manuel F{\"{a}}hndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen C. Hunt and James R. Larus and Steven Levi},
 year         = {2006},
 title        = {Language support for fast and reliable message-based communication in singularity {OS}},
 editor       = {Yolande Berbers and Willy Zwaenepoel},
 booktitle    = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006},
 publisher    = {{ACM}},
 pages        = {177--190},
 doi          = {10.1145/1217935.1217953},
)
@inproceedings(DBLP:conf/icalp/FinkelL17,
 author       = {Alain Finkel and {\'{E}}tienne Lozes},
 year         = {2017},
 title        = {Synchronizability of Communicating Finite State Machines is not Decidable},
 editor       = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl},
 booktitle    = {44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
 series       = {LIPIcs},
 volume       = {80},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {122:1--122:14},
 doi          = {10.4230/LIPIcs.ICALP.2017.122},
)
@article(DBLP:journals/jfp/GayV10,
 author       = {Simon J. Gay and Vasco Thudichum Vasconcelos},
 year         = {2010},
 title        = {Linear type theory for asynchronous session types},
 journal      = {J. Funct. Program.},
 volume       = {20},
 number       = {1},
 pages        = {19--50},
 doi          = {10.1017/S0956796809990268},
)
@inproceedings(DBLP:conf/concur/GazagnaireGHTY07,
 author       = {Thomas Gazagnaire and Blaise Genest and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and P. S. Thiagarajan and Shaofa Yang},
 year         = {2007},
 title        = {Causal Message Sequence Charts},
 editor       = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos},
 booktitle    = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4703},
 publisher    = {Springer},
 pages        = {166--180},
 doi          = {10.1007/978-3-540-74407-8\_12},
)
@article(DBLP:journals/fuin/GenestKM07,
 author       = {Blaise Genest and Dietrich Kuske and Anca Muscholl},
 year         = {2007},
 title        = {On Communicating Automata with Bounded Channels},
 journal      = {Fundam. Inform.},
 volume       = {80},
 number       = {1-3},
 pages        = {147--167},
 url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-09},
)
@inproceedings(DBLP:conf/acsd/GenestM05,
 author       = {Blaise Genest and Anca Muscholl},
 year         = {2005},
 title        = {Message Sequence Charts: {A} Survey},
 booktitle    = {Fifth International Conference on Application of Concurrency to System Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
 publisher    = {{IEEE} Computer Society},
 pages        = {2--4},
 doi          = {10.1109/ACSD.2005.25},
)
@inproceedings(DBLP:conf/ac/GenestMP03,
 author       = {Blaise Genest and Anca Muscholl and Doron A. Peled},
 year         = {2003},
 title        = {Message Sequence Charts},
 editor       = {J{\"{o}}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
 booktitle    = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003. In addition to lectures given at {ACPN} 2003, additional chapters have been commissioned]},
 series       = {Lecture Notes in Computer Science},
 volume       = {3098},
 publisher    = {Springer},
 pages        = {537--558},
 doi          = {10.1007/978-3-540-27755-2\_15},
)
@article(DBLP:journals/jcss/GenestMSZ06,
 author       = {Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun},
 year         = {2006},
 title        = {Infinite-state high-level MSCs: Model-checking and realizability},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {72},
 number       = {4},
 pages        = {617--647},
 doi          = {10.1016/j.jcss.2005.09.007},
)
@inproceedings(DBLP:conf/fossacs/GiustoLL20,
 author       = {Cinzia Di Giusto and Laetitia Laversa and {\'{E}}tienne Lozes},
 year         = {2020},
 title        = {On the k-synchronizability of Systems},
 editor       = {Goubault{-}Larrecq, Jean and Barbara K{\"{o}}nig},
 booktitle    = {Foundations of Software Science and Computation Structures - 23rd International Conference, {FOSSACS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12077},
 publisher    = {Springer},
 pages        = {157--176},
 doi          = {10.1007/978-3-030-45231-5\_9},
)
@inproceedings(NO-DBLP-wrong-local-choice,
 author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Claude Jard},
 year         = {2000},
 title        = {Conditions for synthesis of communicating automata from {HMSCs}},
 booktitle    = {In 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)},
)
@article(DBLP:journals/corr/abs-1209-0359,
 author       = {Heu{\ss}ner, Alexander and J{\'{e}}r{\^{o}}me Leroux and Anca Muscholl and Gr{\'{e}}goire Sutre},
 year         = {2012},
 title        = {Reachability Analysis of Communicating Pushdown Systems},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {8},
 number       = {3},
 doi          = {10.2168/LMCS-8(3:23)2012},
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 editor       = {Eike Best},
 booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {715},
 publisher    = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(DBLP:conf/popl/HondaYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty asynchronous session types},
 editor       = {George C. Necula and Philip Wadler},
 booktitle    = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2008, San Francisco, California, USA, January 7-12, 2008},
 publisher    = {{ACM}},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@article(DBLP:journals/jacm/HondaYC16,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {J. {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@article(DBLP:journals/mst/Kocher21,
 author       = {Chris K{\"{o}}cher},
 year         = {2021},
 title        = {Reachability Problems on Reliable and Lossy Queue Automata},
 journal      = {Theory Comput. Syst.},
 volume       = {65},
 number       = {8},
 pages        = {1211--1242},
 doi          = {10.1007/s00224-021-10031-2},
)
@inproceedings(DBLP:conf/cav/LangeY19,
 author       = {Julien Lange and Nobuko Yoshida},
 year         = {2019},
 title        = {Verifying Asynchronous Interactions via Communicating Session Automata},
 editor       = {Isil Dillig and Serdar Tasiran},
 booktitle    = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11561},
 publisher    = {Springer},
 pages        = {97--117},
 doi          = {10.1007/978-3-030-25540-4\_6},
)
@article(DBLP:journals/tcs/Lohrey03,
 author       = {Markus Lohrey},
 year         = {2003},
 title        = {Realizability of high-level message sequence charts: closing the gaps},
 journal      = {Theor. Comput. Sci.},
 volume       = {309},
 number       = {1-3},
 pages        = {529--554},
 doi          = {10.1016/j.tcs.2003.08.002},
)
@inproceedings(DBLP:conf/icalp/Madhusudan01,
 author       = {P. Madhusudan},
 year         = {2001},
 title        = {Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs},
 editor       = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen},
 booktitle    = {Automata, Languages and Programming, 28th International Colloquium, {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2076},
 publisher    = {Springer},
 pages        = {809--820},
 doi          = {10.1007/3-540-48224-5\_66},
)
@inproceedings(DBLP:conf/concur/MajumdarMSZ21,
 author       = {Rupak Majumdar and Madhavan Mukund and Felix Stutz and Damien Zufferey},
 year         = {2021},
 title        = {Generalising Projection in Asynchronous Multiparty Session Types},
 editor       = {Serge Haddad and Daniele Varacca},
 booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference},
 series       = {LIPIcs},
 volume       = {203},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {35:1--35:24},
 doi          = {10.4230/LIPIcs.CONCUR.2021.35},
)
@inproceedings(DBLP:conf/sdl/MauwR97,
 author       = {Sjouke Mauw and Michel A. Reniers},
 year         = {1997},
 title        = {High-level message sequence charts},
 editor       = {Ana R. Cavalli and Amardeo Sarma},
 booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
 publisher    = {Elsevier},
 pages        = {291--306},
)
@inproceedings(DBLP:conf/fase/MooijGR05,
 author       = {Arjan J. Mooij and Nicolae Goga and Judi Romijn},
 year         = {2005},
 title        = {Non-local Choice and Beyond: Intricacies of {MSC} Choice Nodes},
 editor       = {Maura Cerioli},
 booktitle    = {Fundamental Approaches to Software Engineering, 8th International Conference, {FASE} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3442},
 publisher    = {Springer},
 pages        = {273--288},
 doi          = {10.1007/978-3-540-31984-9\_21},
)
@inproceedings(DBLP:conf/fase/Muccini03,
 author       = {Henry Muccini},
 year         = {2003},
 title        = {Detecting Implied Scenarios Analyzing Non-local Branching Choices},
 editor       = {Mauro Pezz{\`{e}}},
 booktitle    = {Fundamental Approaches to Software Engineering, 6th International Conference, {FASE} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2621},
 publisher    = {Springer},
 pages        = {372--386},
 doi          = {10.1007/3-540-36578-8\_26},
)
@article(DBLP:journals/acta/PengP92,
 author       = {Wuxu Peng and S. Purushothaman},
 year         = {1992},
 title        = {Analysis of a Class of Communicating Finite State Machines},
 journal      = {Acta Informatica},
 volume       = {29},
 number       = {6/7},
 pages        = {499--522},
 doi          = {10.1007/BF01185558},
)
@article(DBLP:journals/tosem/RoychoudhuryGS12,
 author       = {Abhik Roychoudhury and Ankit Goel and Bikram Sengupta},
 year         = {2012},
 title        = {Symbolic Message Sequence Charts},
 journal      = {{ACM} Trans. Softw. Eng. Methodol.},
 volume       = {21},
 number       = {2},
 pages        = {12:1--12:44},
 doi          = {10.1145/2089116.2089122},
)
@article(DBLP:journals/pacmpl/ScalasY19,
 author       = {Alceste Scalas and Nobuko Yoshida},
 year         = {2019},
 title        = {Less is more: multiparty session types revisited},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {3},
 number       = {{POPL}},
 pages        = {30:1--30:29},
 doi          = {10.1145/3290343},
)
@article(arxiv-version,
 author       = {Felix Stutz and Damien Zufferey},
 year         = {2022},
 title        = {Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types},
 journal      = {CoRR},
 volume       = {abs/2208.05559},
 doi          = {10.48550/arXiv.2208.05559},
 eprint       = {2208.05559},
)
@inproceedings(DBLP:conf/tacas/TorreMP08,
 author       = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato},
 year         = {2008},
 title        = {Context-Bounded Analysis of Concurrent Queue Systems},
 editor       = {C. R. Ramakrishnan and Jakob Rehof},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {299--314},
 doi          = {10.1007/978-3-540-78800-3\_21},
)
@article(DBLP:journals/tcs/TouiliA10,
 author       = {Tayssir Touili and Mohamed Faouzi Atig},
 year         = {2010},
 title        = {Verifying parallel programs with dynamic communication structures},
 journal      = {Theor. Comput. Sci.},
 volume       = {411},
 number       = {38-39},
 pages        = {3460--3468},
 doi          = {10.1016/j.tcs.2010.05.028},
)
@techreport(z120-standard,
 author       = {International Telecommunication Union},
 year         = {1996},
 title        = {Z.120: Message Sequence Chart},
 type         = {Technical Report},
 institution  = {International Telecommunication Union},
 url          = {https://www.itu.int/rec/T-REC-Z.120},
)