1. A simple BSP-based model to predict execution time in GPU applications;Amaris,2015
2. Parallel Scientific Computation: A Structured Approach Using BSP and MPI;Bisseling,2004
3. Abstract State Machines capture parallel algorithms;Blass;ACM Trans. Comput. Log.,2003
4. Background of computation;Blass;Bull. Eur. Assoc. Theor. Comput. Sci.,2007
5. Abstract State Machines capture parallel algorithms: correction and extension;Blass;ACM Trans. Comput. Log.,2008