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
Parallel Scientific Computation. A Structured Approach Using bsp and mpi, 2004. ,
DOI : 10.1093/acprof:oso/9780198529392.001.0001
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
Concurrent abstract state machines, Acta Informatica, vol.40, issue.11, pp.469-492, 2016. ,
DOI : 10.1145/253769.253801
On Communication Determinism in hpc Applications, Computer Communications and Networks (ICCCN), pp.1-8, 2010. ,
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 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
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
A Survey of Algorithmic Skeleton Frameworks. Software, Practrice & Experience, pp.1135-1160, 2010. ,
Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, pp.47-56, 2004. ,
DOI : 10.1145/963778.963780
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
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
pregel: A System for Large-scale Graph Processing, Management of data, pp.135-146, 2010. ,
Algorithmic Completeness of Imperative Programming Languages, Fundamenta Informaticae, accepted, pp.1-27, 2017. ,
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
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
A Simplified Parallel ASM Thesis, ABZ conference, pp.341-344, 2012. ,
DOI : 10.1007/978-3-642-30885-7_27
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
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
The Design and Analysis of Bulk-Synchronous Parallel Algorithms, 1998. ,
A bridging model for parallel computation, Communications of the ACM, vol.33, issue.8, pp.103-111, 1990. ,
DOI : 10.1145/79173.79181
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