Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms - John Tucker (Applied Mathematics and Computation, 2009)