related documents Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms Conferences