T. C. Biedl, Palindrome recognition using a multidimensional tape, Theoretical Computer Science, vol.302, issue.1-3, pp.475-480, 2003.
DOI : 10.1016/S0304-3975(03)00086-0

URL : https://doi.org/10.1016/s0304-3975(03)00086-0

R. H. Bisseling, Parallel Scientific Computation. A Structured Approach Using bsp and mpi, 2004.
DOI : 10.1093/acprof:oso/9780198529392.001.0001

A. Blass and Y. Gurevich, Abstract state machines capture parallel algorithms, ACM Transactions on Computational Logic, vol.4, issue.4, pp.578-651, 2003.
DOI : 10.1145/937555.937561

URL : http://www.math.lsa.umich.edu/~ablass/157.ps

E. Börger and K. Schewe, Concurrent abstract state machines, Acta Informatica, vol.40, issue.11, pp.469-492, 2016.
DOI : 10.1145/253769.253801

F. Cappello and M. Snir, On Communication Determinism in hpc Applications, Computer Communications and Networks (ICCCN), pp.1-8, 2010.

A. Cavarra and A. Zavanella, A formal model for the parallel semantics of P3L, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, pp.804-812, 2000.
DOI : 10.1145/338407.338568

A. Cavarra, A Data-Flow Approach to Test Multi-agent asms Formal Asp, Comput, vol.23, issue.1, pp.21-41, 2011.
DOI : 10.1007/s00165-009-0134-7

URL : https://hal.archives-ouvertes.fr/hal-00554981/document

F. Ferrarotti, K. Schewe, L. Tec, and Q. Wang, A new thesis concerning synchronised parallel computing ??? simplified parallel ASM thesis, Theoretical Computer Science, vol.649, pp.25-53, 2016.
DOI : 10.1016/j.tcs.2016.08.013

URL : http://arxiv.org/pdf/1504.06203

H. González-vélez and M. Leyton, A Survey of Algorithmic Skeleton Frameworks. Software, Practrice & Experience, pp.1135-1160, 2010.

S. Gorlatch, Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, pp.47-56, 2004.
DOI : 10.1145/963778.963780

Y. Gurevich, Sequential abstract-state machines capture sequential algorithms, ACM Transactions on Computational Logic, vol.1, issue.1, pp.77-111, 2000.
DOI : 10.1145/343369.343384

URL : http://research.microsoft.com/en-us/um/people/gurevich/Opera/141.pdf

J. M. Hill, B. Mccoll, D. C. Stefanescu, M. W. Goudreau, K. Lang et al., BSPlib: The BSP programming library, Parallel Computing, vol.24, issue.14, pp.1947-1980, 1998.
DOI : 10.1016/S0167-8191(98)00093-3

URL : http://cis.poly.edu/suel/papers/bspprop.ps

G. Malewicz, pregel: A System for Large-scale Graph Processing, Management of data, pp.135-146, 2010.

Y. Marquer, Algorithmic Completeness of Imperative Programming Languages, Fundamenta Informaticae, accepted, pp.1-27, 2017.

M. F. Pace, BSP vs MapReduce, Computational Science (ICCS), volume 9 of Procedia Computer Science, pp.246-255, 2012.
DOI : 10.1016/j.procs.2012.04.026

URL : https://doi.org/10.1016/j.procs.2012.04.026

A. Prinz and E. Sherratt, Distributed ASM - Pitfalls and Solutions, ABZ conference, pp.210-215, 2014.
DOI : 10.1007/978-3-662-43652-3_18

URL : https://brage.bibsys.no/xmlui/bitstream/11250/281045/1/Prinz_2014_Distributed.pdf

K. Schewe and Q. Wang, A Simplified Parallel ASM Thesis, ABZ conference, pp.341-344, 2012.
DOI : 10.1007/978-3-642-30885-7_27

K. Schewe, F. Ferrarotti, L. Tec, Q. Wang, and W. An, Evolving concurrent systems, Proceedings of the Australasian Computer Science Week Multiconference on, ACSW '17, pp.1-10, 2017.
DOI : 10.1007/3-540-44802-0_16

S. Seo, E. J. Yoon, J. Kim, S. Jin, J. Kim et al., HAMA: An Efficient Matrix Computation with the MapReduce Framework, 2010 IEEE Second International Conference on Cloud Computing Technology and Science, pp.721-726, 2010.
DOI : 10.1109/CloudCom.2010.17

A. Tiskin, The Design and Analysis of Bulk-Synchronous Parallel Algorithms, 1998.

L. G. Valiant, A bridging model for parallel computation, Communications of the ACM, vol.33, issue.8, pp.103-111, 1990.
DOI : 10.1145/79173.79181

L. G. Valiant, A bridging model for multi-core computing, Journal of Computer and System Sciences, vol.77, issue.1, pp.154-166, 2011.
DOI : 10.1016/j.jcss.2010.06.012

URL : http://www.csd.uwo.ca/~moreno/CS433-CS9624/Resources/bridging-2010.pdf