摘要
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.
- 出版日期2011-2-1