C. Baier and J. Katoen, Principles of Model Checking, 2008.

A. Beer, S. Heidinger, U. Kühne, F. Leitner-fischer, and S. Leue, Symbolic Causality Checking Using Bounded Model Checking, Proc. of SPIN'15, 2015.
DOI : 10.1007/978-3-319-23404-5_14
URL : https://kops.uni-konstanz.de/bitstream/123456789/31923/5/Beer_294967.pdf

M. T. Befrouei, C. Wang, and G. Weissenbacher, Abstraction and Mining of Traces to Explain Concurrency Bugs, Proc. of RV'14, 2014.
DOI : 10.1007/978-3-319-11164-3_14

M. Bekkouche, H. Collavizza, and M. Rueher, LocFaults, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, 2015.
DOI : 10.1145/1134285.1134324
URL : https://hal.archives-ouvertes.fr/hal-01132780

J. Cámara, J. A. Martín, G. Salaün, C. Canal, and E. Pimentel, Semi-Automatic Specification of Behavioural Service Adaptation Contracts, Electronic Notes in Theoretical Computer Science, vol.264, issue.1, pp.19-34, 2010.
DOI : 10.1016/j.entcs.2010.07.003

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model checking, 2001.

X. Fu, T. Bultan, and J. Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.
DOI : 10.1016/j.tcs.2004.07.004

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

F. Lang and R. Mateescu, Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems, Logical Methods in Computer Science, vol.9, issue.4, p.2013
DOI : 10.2168/LMCS-9(4:1)2013

S. Leue and M. T. Befrouei, Mining Sequential Patterns to Explain Concurrent Counterexamples, Proc. of SPIN'13, 2013.
DOI : 10.1007/978-3-642-39176-7_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.33

J. A. Martín and E. Pimentel, Contracts for security adaptation, The Journal of Logic and Algebraic Programming, vol.80, issue.3-5, pp.3-5, 2011.
DOI : 10.1016/j.jlap.2010.07.001

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Transactions on Software Engineering, vol.38, issue.4, pp.755-777, 2012.
DOI : 10.1109/TSE.2011.62
URL : https://hal.archives-ouvertes.fr/inria-00341598

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

R. Milner, Communication and Concurrency, 1989.

M. Papadakis and Y. L. Traon, Effective fault localization via mutation analysis, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2554978

D. M. Park, Concurrency and automata on infinite sequences, Proc. of the 5th Theoretical Computer Science Conference, 1981.
DOI : 10.1007/BFb0017309

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proc. of ICWS'04, 2004.

G. Salaün, T. Bultan, and N. Roohi, Realizability of Choreographies Using Process Algebra Encodings, IEEE Transactions on Services Computing, vol.5, issue.3, pp.290-304, 2012.
DOI : 10.1109/TSC.2011.9

G. Salaün, X. Etchevers, N. D. Palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Assurances for Self-Adaptive Systems, pp.60-79, 2013.

G. Salaün and L. Ye, Debugging Process Algebra Specifications, Proc. of VMCAI'15, 2015.
DOI : 10.1007/978-3-662-46081-8_14

X. Yan, J. Han, and R. Afshar, CloSpan: Mining: Closed Sequential Patterns in Large Datasets, Proc. of SDM'03. SIAM, 2003.
DOI : 10.1137/1.9781611972733.15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3538