Inference of Message Sequence Charts

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