M. Hennessy, Algebraic Theory of Processes, 1988.

W. Reisig, A Primer in Petri Net Design, 1992.
DOI : 10.1007/978-3-642-75329-9

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

L. Lamport, Specifying Systems, 2002.

W. Visser and K. Havelund, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.3-12, 2000.
DOI : 10.1109/ASE.2000.873645

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace: language support for building distributed systems, Proc. ACM SIGPLAN Conf. Programming language design and implementation, pp.179-188, 2007.
DOI : 10.1109/p2p.2009.5284502

M. Musuvathi and S. Qadeer, Fair stateless model checking, Proc. ACM SIG- PLAN Conf. Programming language design and implementation (PLDI 2008), pp.362-371, 2008.
DOI : 10.1145/1379022.1375625
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.7407

M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill, CMC: A pragmatic approach to model checking real code, Proc. Fifth Symp. Operating Systems Design and Implementation, 2002.

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, ACM SIGPLAN Notices, vol.40, issue.1, pp.110-121, 2005.
DOI : 10.1145/1047659.1040315

R. Palmer, G. Gopalakrishnan, and R. M. Kirby, Semantics driven dynamic partialorder reduction of MPI-based parallel programs, Proc. ACM Wsh. Parallel and distributed systems: testing and debugging, pp.43-53, 2007.

H. Casanova, A. Legrand, and M. Quinson, SimGrid: A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation (uksim 2008), 2008.
DOI : 10.1109/UKSIM.2008.28
URL : https://hal.archives-ouvertes.fr/inria-00260697

P. Godefroid, Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.174-186, 1997.
DOI : 10.1145/263699.263717
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8581

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., Formal verification of practical MPI programs, ACM SIGPLAN Notices, vol.44, issue.4, pp.261-270, 2009.
DOI : 10.1145/1594835.1504214
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.8326

R. Iosif, Exploiting heap symmetries in explicit-state model checking of software, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.254-261, 2001.
DOI : 10.1109/ASE.2001.989811

C. Rosa, S. Merz, and M. Quinson, A simple model of communication APIs ? Application to dynamic partial-order reduction, 10th Intl. Wsh. Automated Verification of Critical Systems, pp.137-152, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00532889

I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan, Chord: A scalable peer-to-peer lookup service for internet applications, SIGCOMM Comput. Commun. Rev, pp.31-149, 2001.