A dynamical model of parallel computation on bi-infinite time-scale

摘要

The aim of this article is to construct a dynamical model of parallel computation on bi-infinite time-scale. Our approach is similar to two-sided symbolic dynamics, however bi-infinite sequences are transformed to bi-infinite graphs for a suitable description of parallelism and concurrency.