Survey of the sequential and parallel models of computation : Technical report LUSY-2012/02