P. A. Abdulla, S. Aronis, B. Jonsson, and K. F. Sagonas, Optimal dynamic partial order reduction, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.373-384, 2014.
DOI : 10.1145/2535838.2535845
URL : http://user.it.uu.se/~parosh/publications/papers/popl2014.pdf

P. A. Abdulla and B. Jonsson, Verifying programs with unreliable channels, Inf. Comput, vol.127, issue.2, pp.91-101, 1996.

A. Bakst, K. Von-gleissenthall, R. G. Kici, and R. Jhala, Verifying distributed programs via canonical sequentialization, PACMPL 1(OOPSLA), vol.110, 2017.
DOI : 10.1145/3133934
URL : http://dl.acm.org/ft_gateway.cfm?id=3133934&type=pdf

S. Basu and T. Bultan, On deciding synchronizability for asynchronously communicating systems, Theor. Comput. Sci, vol.656, pp.60-75, 2016.

A. Bouajjani, E. Derevenetc, and R. Meyer, Robustness against relaxed memory models, Software Engineering, vol.227, pp.85-86, 2014.

A. Bouajjani and M. Emmi, Bounded phase analysis of message-passing programs, 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, vol.7214, pp.451-465, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00653085

A. Bouajjani, M. Emmi, C. Enea, B. K. Ozkan, and S. Tasiran, Verifying robustness of event-driven asynchronous programs against concurrency, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.10201, pp.170-200, 2017.

A. Bouajjani, M. Emmi, and G. Parlato, On sequentializing concurrent programs, Static Analysis-18th International Symposium, vol.6887, pp.129-145, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00597415

A. Bouajjani, C. Enea, K. Ji, and S. Qadeer, On the completeness of verifying message passing programs under bounded asynchrony
URL : https://hal.archives-ouvertes.fr/hal-01947855

D. Brand and P. Zafiropulo, On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983.

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Inf. Comput, vol.202, issue.2, pp.166-190, 2005.

P. Deniélou and N. Yoshida, Multiparty session types meet communicating automata, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, vol.7211, pp.194-213, 2012.

. Springer, , 2012.

A. Desai, P. Garg, and P. Madhusudan, Natural proofs for asynchronous programs using almost-synchronous reductions, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, pp.709-725, 2014.

A. Desai, V. Gupta, E. K. Jackson, S. Qadeer, S. K. Rajamani et al., P: safe asynchronous event-driven programming

, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, pp.321-332, 2013.

M. Emmi, S. Qadeer, and Z. Rakamaric, Delay-bounded scheduling, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.411-422, 2011.

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, Proceedings of the 32nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pp.110-121, 2005.

B. Genest, D. Kuske, and A. Muscholl, On communicating automata with bounded channels, Fundam. Inform, vol.80, issue.1-3, pp.147-167, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00306256

, Computer Aided Verification, 20th International Conference, CAV, vol.5123, 2008.

A. Heußner, J. Leroux, A. Muscholl, and G. Sutre, Reachability analysis of communicating pushdown systems, Logical Methods in Computer Science, vol.8, issue.3, 2012.

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, 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, vol.1381, pp.122-138, 1998.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, J. ACM, vol.63, issue.1, p.67, 2016.

N. Kidd, S. Jagannathan, and J. Vitek, One stack to run them all-reducing concurrent analysis to sequential analysis under priority scheduling, Model Checking Software-17th International SPIN Workshop, vol.6349, pp.245-261, 2010.

L. Torre, S. Madhusudan, P. Parlato, and G. , 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, vol.4963, pp.299-314, 2008.

L. Torre, S. Madhusudan, P. Parlato, and G. , Model-checking parameterized concurrent programs using linear interfaces, Computer Aided Verification, 22nd International Conference, CAV 2010, vol.6174, pp.629-644, 2010.

A. Lal and T. W. Reps, Reducing concurrent analysis under a context bound to sequential analysis, Gupta and Malik, vol.18, pp.37-51

J. Lange, E. Tuosto, and N. Yoshida, From communicating machines to graphical choreographies, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, pp.221-232, 2015.

C. H. Papadimitriou, The serializability of concurrent database updates, J. ACM, vol.26, issue.4, pp.631-653, 1979.

S. Qadeer and J. Rehof, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, vol.3440, pp.93-107, 2005.

S. Qadeer and D. Wu, KISS: keep it simple and sequential, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pp.14-24, 2004.