@article(DBLP:journals/iandc/AbdullaJ96,
 author       = {Parosh~Aziz Abdulla and Bengt Jonsson},
 year         = {1996},
 title        = {Verifying Programs with Unreliable Channels},
 journal      = {Inf. Comput.},
 volume       = {127},
 number       = {2},
 pages        = {91--101},
 doi          = {10.1006/inco.1996.0053},
)
@article(DBLP:journals/fmsd/AkrounS18,
 author       = {Lakhdar Akroun and Gwen Sala{\"{u}}n},
 year         = {2018},
 title        = {Automated verification of automata communicating via {FIFO} and bag buffers},
 journal      = {Formal Methods Syst. Des.},
 volume       = {52},
 number       = {3},
 pages        = {260--276},
 doi          = {10.1007/s10703-017-0285-8},
)
@article(DBLP:journals/tcs/BasuB16,
 author       = {Samik Basu and Tevfik Bultan},
 year         = {2016},
 title        = {On deciding synchronizability for asynchronously communicating systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {656},
 pages        = {60--75},
 doi          = {10.1016/j.tcs.2016.09.023},
)
@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/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},
)
@article(DBLP:journals/iandc/CeceFI96,
 author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel and S.~Purushothaman Iyer},
 year         = {1996},
 title        = {Unreliable Channels are Easier to Verify Than Perfect Channels},
 journal      = {Inf. Comput.},
 volume       = {124},
 number       = {1},
 pages        = {20--31},
 doi          = {10.1006/inco.1996.0003},
)
@article(DBLP:journals/jacm/CzerwinskiLLLM21,
 author       = {Wojciech Czerwinski and Slawomir Lasota and Ranko Lazic and J{\'{e}}r{\^{o}}me Leroux and Filip Mazowiecki},
 year         = {2021},
 title        = {The Reachability Problem for Petri Nets Is Not Elementary},
 journal      = {J. {ACM}},
 volume       = {68},
 number       = {1},
 pages        = {7:1--7:28},
 doi          = {10.1145/3422822},
)
@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/fossacs/GiustoLL20,
 author       = {{Di Giusto}, Cinzia and Laetitia Laversa and {\'{E}}tienne Lozes},
 year         = {2020},
 title        = {On the k-synchronizability of Systems},
 booktitle    = {{FOSSACS} 2020},
 series       = {LNCS},
 volume       = {12077},
 pages        = {157--176},
 doi          = {10.1007/978-3-030-45231-5\_9},
)
@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(FL-icalp17,
 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 Anca Muscholl and Fabian Kuhn},
 booktitle    = {{P}roceedings of the 44th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'17)},
 series       = {Leibniz International Proceedings in Informatics},
 volume       = {80},
 publisher    = {Leibniz-Zentrum f{\"u}r Informatik},
 address      = {Warsaw, Poland},
 pages        = {122:1--122:14},
 doi          = {10.4230/LIPIcs.ICALP.2017.122},
)
@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/tacas/HeussnerGS12,
 author       = {Heu{\ss}ner, Alexander and Tristan~Le Gall and Gr{\'{e}}goire Sutre},
 year         = {2012},
 title        = {McScM: {A} General Framework for the Verification of Communicating Machines},
 editor       = {Cormac Flanagan and Barbara K{\"{o}}nig},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 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       = {7214},
 publisher    = {Springer},
 pages        = {478--484},
 doi          = {10.1007/978-3-642-28756-5\_34},
)
@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/esop/HondaVK98,
 author       = {Kohei Honda and Vasco~Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 editor       = {Chris Hankin},
 booktitle    = {Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@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},
)
@misc(msc-norm,
 title        = {ITU-TS: ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS (1999)},
)
@incollection(KuskeM2018,
 author       = {Dietrich Kuske and Anca Muscholl},
 year         = {2019},
 title        = {Communicating Automata},
 editor       = {J.-E. Pin},
 booktitle    = {Handbook of Automata: from Mathematics to Applications (AutoMathA)},
 publisher    = {European Science Foundation},
 url          = {https://eiche.theoinf.tu-ilmenau.de/kuske/Submitted/cfm-final.pdf},
)
@article(DBLP:journals/iandc/LohreyM04,
 author       = {Markus Lohrey and Anca Muscholl},
 year         = {2004},
 title        = {Bounded {MSC} communication},
 journal      = {Inf. Comput.},
 volume       = {189},
 number       = {2},
 pages        = {160--181},
 doi          = {10.1016/j.ic.2003.10.002},
)
@inproceedings(DBLP:conf/wsfm/LozesV11,
 author       = {{\'{E}}tienne Lozes and Jules Villard},
 year         = {2011},
 title        = {Reliable Contracts for Unreliable Half-Duplex Communications},
 booktitle    = {{WS-FM} 2011},
 series       = {LNCS},
 volume       = {7176},
 pages        = {2--16},
 doi          = {10.1007/978-3-642-29834-9\_2},
)
@article(DBLP:journals/corr/cs-LO-0306121,
 author       = {Jan~K. Pachl},
 year         = {2003},
 title        = {Reachability problems for communicating finite state machines},
 journal      = {CoRR},
 volume       = {cs.LO/0306121},
 url          = {http://arxiv.org/abs/cs/0306121},
)
@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(DBLP:journals/ipl/Schnoebelen02,
 author       = {Philippe Schnoebelen},
 year         = {2002},
 title        = {Verifying lossy channel systems has nonprimitive recursive complexity},
 journal      = {Inf. Process. Lett.},
 volume       = {83},
 number       = {5},
 pages        = {251--261},
 doi          = {10.1016/S0020-0190(01)00337-4},
)
@inproceedings(DBLP:conf/csl/Schnoebelen21,
 author       = {Philippe Schnoebelen},
 year         = {2021},
 title        = {On Flat Lossy Channel Machines},
 editor       = {Christel Baier and Goubault{-}Larrecq, Jean},
 booktitle    = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
 series       = {LIPIcs},
 volume       = {183},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {37:1--37:22},
 doi          = {10.4230/LIPIcs.CSL.2021.37},
)
@inproceedings(Koushik,
 author       = {Koushik Sen and Mahesh Viswanathan},
 year         = {2006},
 title        = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods},
 editor       = {Thomas Ball and Robert~B. Jones},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {300--314},
 doi          = {10.1007/11817963\_29},
)
@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},
)