The Duality of TIme and Information

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. To accommodate flexible distributed computing systems we then bring in choice and concurrency and pass to partially ordered time and information, the formal basis for this extension being Birkhoff-Stone duality. A degree of freedom in how this is done permits a perfectly symmetric logic of computation amounting to Girard's full linear logic, which we view as the natural logic of computation when equal importance is attached to choice and concurrency. We conclude with an assessment of the prospects ...

• Type: Conference
• Year: 1992
• Where: CONCUR
• Authors: Vaughan R. Pratt
• Keywords: Computation, CONCUR 1992, Distributed And Parallel Computing, Events Bear Time, Rigid Local Computation