A. Aiken and D. Gay, Barrier Inference, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98, pp.342-354, 1998.

O. Ballereau, F. Loulergue, and G. Hains, High-level BSP Programming: BSML and BS?, Proceedings of the first Scottish Functional Programming Workshop, pp.43-52, 1999.

O. Bonorden, B. Juurlink, I. Von-otte, and I. Rieping, The Paderborn University BSP (PUB) library, Parallel Comput, vol.29, pp.187-207, 2003.

B. Chapman, T. Curtis, S. Pophale, S. Poole, J. Kuehn et al., Introducing OpenSHMEM: SHMEM for the PGAS community, Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model, 2010.

F. Dabrowski, Textual Alignment in SPMD Programs, Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18), pp.1046-1053, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01559832

J. Fortin and F. Gava, BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation, International Journal of Parallel Programming, vol.44, issue.3, pp.574-597, 2016.

F. Gava and J. Fortin, Formal Semantics of a Subset of the Paderborn's BSPlib, Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies, pp.269-276, 2008.

J. M. Hill, B. Mccoll, D. C. Stefanescu, M. W. Goudreau, K. Lang et al., BSPlib: The BSP Programming Library, Parallel Comput, vol.24, pp.93-96, 1998.

, MPI: A Message-Passing Interface Standard Version, 2012.

D. M. Ritchie, B. W. Kernighan, and M. E. Lesk, The C Programming Language, 1988.

K. Siddique, Z. Akhtar, E. J. Yoon, Y. Jeong, D. Dasgupta et al., Apache Hama: An emerging bulk synchronous parallel computing framework for big data applications, IEEE Access, vol.4, pp.8879-8887, 2016.

J. Tesson and F. Loulergue, Formal Semantics of DRMA-Style Programming in BSPlib, Parallel Processing and Applied Mathematics, vol.4967, pp.1122-1129, 2008.

L. G. Valiant, A Bridging Model for Parallel Computation, Commun. ACM, vol.33, pp.103-111, 1990.

A. N. Yzelman and R. H. Bisseling, An object-oriented bulk synchronous parallel library for multicore programming, Concurrency and Computation: Practice and Experience, vol.24, pp.533-553, 2012.