@article(aey03,
 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},
)
@inproceedings(ahptb96,
 author       = {Rajeev Alur and Gerard J. Holzmann and Doron Peled},
 year         = {1996},
 title        = {{An analyzer for message sequence charts}},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {TACAS},
 publisher    = {Springer},
 pages        = {35--48},
 doi          = {10.1007/3-540-61042-1_37},
)
@inproceedings(ben1997syntactic,
 author       = {Ben-Abdallah, Han{\^e}ne and Stefan Leue},
 year         = {1997},
 title        = {Syntactic detection of process divergence and non-local choice in message sequence charts},
 booktitle    = {International Workshop on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {259--274},
 doi          = {10.1007/BFb0035393},
)
@inproceedings(bmt14,
 author       = {Laura Bocchi and Hern{\'{a}}n C. Melgratti and Emilio Tuosto},
 year         = {2014},
 title        = {Resolving Non-determinism in Choreographies},
 booktitle    = {ESOP},
 pages        = {493--512},
 doi          = {10.1007/978-3-642-54833-8_26},
)
@inproceedings(bc88a,
 author       = {G{\'e}rard Boudol and Ilaria Castellani},
 year         = {1988},
 title        = {Permutation of transitions: an event structure semantics for {CCS} and {SCCS}},
 editor       = {J.W. de Bakker and W.-P. de Roever and G. Rozenberg},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 series       = {Lecture Notes in Computer Science},
 volume       = {354},
 publisher    = {Springer},
 pages        = {411--427},
 doi          = {10.1007/BFb0013028},
)
@article(bz83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {{On Communicating Finite-State Machines}},
 journal      = {Journal of the ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@article(chy07,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2007},
 title        = {{A Calculus of Global Interaction based on Session Types}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {171},
 number       = {3},
 pages        = {127 -- 151},
 doi          = {10.1016/j.entcs.2006.12.041},
)
@inproceedings(gaifman1987partial,
 author       = {Haim Gaifman and Vaughan R Pratt},
 year         = {1987},
 title        = {Partial order models of concurrency and the computation of functions},
 booktitle    = {LICS},
 pages        = {72--85},
)
@inproceedings(gb13,
 author       = {Emmanuel Gaudin and Eric Brunel},
 year         = {2013},
 title        = {{Property Verification with MSC}},
 booktitle    = {{SDL 2013}},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-38911-5_2},
)
@inproceedings(gmptw01,
 author       = {Elsa L. Gunter and Anca Muscholl and Doron A. Peled},
 year         = {2001},
 title        = {{Compositional Message Sequence Charts}},
 booktitle    = {TACAS},
 publisher    = {Springer},
 pages        = {496--511},
 doi          = {10.1007/3-540-45319-9_34},
)
@book(hm03,
 author       = {David Harel and Rami Marelly},
 year         = {2003},
 title        = {{Come, let's play: scenario-based programming using LSCs and the play-engine}},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-19029-2},
)
@article(honda16jacm,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {Journal of the ACM},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
 note         = {Extended version of a paper presented at {POPL08}},
)
@article(katoen1998pomsets,
 author       = {Joost-Pieter Katoen and Lennard Lambert},
 year         = {1998},
 title        = {Pomsets for message sequence charts},
 journal      = {Formale Beschreibungstechniken f{\"u}r Verteilte Systeme},
 pages        = {197--208},
)
@misc(kum17,
 author       = {Susheel Kumar},
 year         = {2017},
 title        = {{7 Reasons Why Organizations Struggle with Microservices Adoption}},
 howpublished = {\url{https://blogs.perficient.com/integrate/2017/06/26/7-reasons-why-organization-struggle-with-microservices-adoption/}},
)
@misc(chorgram,
 author       = {Julien Lange and Emilio Tuosto},
 title        = {{ChorGram}},
 howpublished = {\url{https://bitbucket.org/emlio_tuosto/chorgram/wiki/Home}},
)
@inproceedings(loh02,
 author       = {Markus Lohrey},
 year         = {2002},
 title        = {{Safe Realizability of High-Level Message Sequence Charts}},
 editor       = {Lubo{\v{s}} Brim and K{\v{r}}et{\'i}nsk{\'y}, Mojm{\'i}r and Ku{\v{c}}era, Anton{\'i}n and Jan{\v{c}}ar, Petr},
 booktitle    = {CONCUR},
 publisher    = {Springer},
 pages        = {177--192},
 doi          = {10.1007/3-540-45694-5_13},
)
@book(mil99,
 author       = {Robin Milner},
 year         = {1999},
 title        = {Communicating and mobile systems - the Pi-calculus},
 publisher    = {Cambridge University Press},
)
@misc(itu11,
 year         = {2011},
 title        = {{Formal description techniques (FDT) - Message Sequence Chart (MSC)}},
 howpublished = {{Recommendation ITU-T Z.120}},
 note         = {Available at \url{http://www.itu.int/rec/T-REC-Z.120-201102-I/en}},
)
@inproceedings(mp05,
 author       = {Anca Muscholl and Doron Peled},
 year         = {2005},
 title        = {{Deciding Properties of Message Sequence Charts}},
 editor       = {Stefan Leue and Tarja Johanna Syst{\"a}},
 booktitle    = {{Scenarios: Models, Transformations and Tools}},
 publisher    = {Springer},
 pages        = {43--65},
 doi          = {10.1007/11495628_3},
)
@article(pratt1986modeling,
 author       = {Vaughan Pratt},
 year         = {1986},
 title        = {Modeling concurrency with partial orders},
 journal      = {International Journal of Parallel Programming},
 volume       = {15},
 number       = {1},
 pages        = {33--71},
 doi          = {10.1007/BF01379149},
)
@inproceedings(rozier2007ltl,
 author       = {{Kristin Y} Rozier and {Moshe Y} Vardi},
 year         = {2007},
 title        = {{LTL satisfiability checking}},
 booktitle    = {International SPIN Workshop on Model Checking of Software},
 organization = {Springer},
 pages        = {149--167},
 doi          = {10.1007/978-3-540-73370-6_11},
)
@book(sd01,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The $\pi$-{C}alculus: a {T}heory of {M}obile {P}rocesses},
 publisher    = {Cambridge University Press},
)
@article(gt18,
 author       = {Emilio Tuosto and Roberto Guanciale},
 year         = {2018},
 title        = {Semantics of global view of choreographies},
 journal      = {JLAMP},
 volume       = {95},
 pages        = {17 -- 40},
 doi          = {10.1016/j.jlamp.2017.11.002},
 url          = {http://www.sciencedirect.com/science/article/pii/S2352220816301754},
)
@misc(wscdl,
 year         = {2005},
 title        = {Web Services Choreography Description Language Version 1.0},
 howpublished = {\url{https://www.w3.org/TR/ws-cdl-10/}},
)