The Duality of TIme and Information
The Duality of TIme and Information
复制标题
时间和信息的二元性
DOI:
10.1007/bfb0084795
复制
发表时间:
1992
影响因子:
2
通讯作者:
V. Pratt
中科院分区:
文献类型:
--
作者:
V. Pratt
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of time and information for rigid local computation, or straightline code, in the absence of choice and concurrency, where time and information are linearly ordered. This shows the duality of computation to be more fundamental than the logic of computation for which choice is disjunction and concurrency conjunction.