M. Snir, MPI: The Complete Reference (2 volumes), 1998.

W. Keng-liao, K. Coloma, A. Choudhary, L. Ward, E. Russell et al., Collective caching: application-aware client-side file caching, HPDC-14. Proceedings. 14th IEEE International Symposium on High Performance Distributed Computing, 2005., 2005.
DOI : 10.1109/HPDC.2005.1520940

T. Hoefler, C. Siebert, and W. Rehm, A practically constanttime MPI broadcast algorithm for large-scale InfiniBand clusters with multicast, Proc. IPDPS. IEEE, pp.1-8, 2007.

W. Gropp and E. Lusk, A high-performance MPI implementation on a shared-memory vector supercomputer, Parallel Computing, vol.22, issue.11, pp.1512-1526, 1997.
DOI : 10.1016/S0167-8191(96)00062-2

K. Feind, K. Mcmahon, R. Reussner, P. Sanders, L. Prechelt et al., An ultrahigh performance MPI implementation on SGI R ccNUMA Altix R systems SKaMPI: A detailed, accurate MPI benchmark, Proc. 5th European PVM/MPI Users Group Meeting, ser. LNCS, pp.67-70, 1998.

R. Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation , and Modeling, 1991.

D. Cavin, Y. Sasson, and A. Schiper, On the accuracy of MANET simulators, Proceedings of the second ACM international workshop on Principles of mobile computing , POMC '02, pp.38-43, 2002.
DOI : 10.1145/584490.584499

G. Riley and M. Ammar, Simulating large networks: How big is big enough, Proc. First International Conference on Grand Challenges for Modeling and Simulation, 2002.

J. Heidemann, N. Bulusu, J. Elson, C. Intanagonwiwat, K. Lan et al., Effects of detail in wireless network simulation, Proc. SCS Multiconference on Distributed Simulation, pp.3-11, 2001.

I. Iec, LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, ISO, International Standard, vol.8807, 1989.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. CAV, ser, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18

URL : https://hal.archives-ouvertes.fr/inria-00189021

H. Garavel and H. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, Proc. FME, ser, pp.410-429, 2002.
DOI : 10.1007/3-540-45614-7_23

URL : https://hal.archives-ouvertes.fr/inria-00072096

H. Hermanns, Interactive Markov Chains and the Quest for Quantified Quality, ser, LNCS, vol.2428, 2002.

M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.2, 1995.
DOI : 10.1145/288197.581193

M. S. Papamarcos and J. H. Patel, A low-overhead coherence solution multiprocessor with private cache memories, Proc. 11th Annual International Symposium on Computer Architecture, pp.348-354, 1984.

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1

URL : https://hal.archives-ouvertes.fr/inria-00072755

H. Hermanns and C. Joubert, A Set of Performance and Dependability Analysis Components for CADP, Proc. TACAS, ser, pp.425-430, 2003.
DOI : 10.1007/3-540-36577-X_30