Vaughan R. Pratt  Home/Search
Context Related
| stanford.edu/pub/dti.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Context of citations to this paper: More
.... distributive lattice that we had been trying to pin down [Pra92d] as an extension of our earlier notion of event space [Pra92c, Pra92a, Pra92b]. More recently [Pra95] we have arrived at the view of =j and its converse j= as the dual relations of causality and consciousness....
.... of our recent investigations of Chu spaces as a candidate unifying framework for these aspects of concurrency [Pra92, Pra93, Gup93, GP93, Gup94, Pra94b, Pra95a]. Their simplicity is deceptive, and two years of experience with them have convinced us that they are more than...
Cited by: More
Event-State Duality: The Enriched Case - Pratt (Correct)
Interval Logics for Temporal Specification and Verification - Ramakrishna (1993) (Correct)
Linear Logic for Generalized Quantum Mechanics - Pratt (1993) (Correct)
Active bibliography (related documents): More All
0.7: Arithmetic + Logic + Geometry = Concurrency - Vaughan Pratt (1992) (Correct)
0.6: Modeling Concurrency with Geometry - Pratt (1991) (Correct)
0.5: Origins of the Calculus of Binary Relations - Pratt (1992) (Correct)
Similar documents based on text: More All
0.1: Software Geography: Physical and Economic Aspects - Pratt (Correct)
0.1: Software Geography: Physical and Economic - Aspects Vaughan Pratt (Correct)
0.1: Unknown - (Correct)
Related documents from co-citation: More All
7: Games semantics for linear logic (context) - Lafont, Streicher - 1991
6: A categorical linear framework for petri nets (context) - Brown, Gurr - 1990
6: Gates accept concurrent behavior - Gupta, Pratt - 1993
BibTeX entry: (Update)
V. R. Pratt. The duality of time and information. In Proceedings of the Third International Conference on Concurrency Theory, pages 237--253. Springer-Verlag, August 1992. http://citeseer.ist.psu.edu/pratt92duality.html More
@inproceedings{ pratt92duality,
author = "Vaughan R. Pratt",
title = "The Duality of Time and Information",
booktitle = "Proceedings of the Third International Conference on Concurrent Theory",
publisher = "Springer-Verlag LNCS 630",
address = "Stonybrook, New York",
editor = "W. Cleaveland",
pages = "237--253",
year = "1992",
url = "citeseer.ist.psu.edu/pratt92duality.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
192 Representation of events in nerve nets and finite automata (context) - Kleene - 1956
168 Petri Nets: An Introduction (context) - Reisig - 1985
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
126 Cambridge University Press (context) - Johnstone - 1982
125 Event structures (context) - Winskel - 1986
54 Modeling concurrency with geometry - Pratt - 1991
37 Action logic and pure induction - Pratt - 1990
30 Fundamentals of a theory of asynchronous information flow (context) - Petri - 1962
27 Topological representations of distributive lattices and bro.. (context) - Stone - 1937
23 Temporal structures - Casley, Crew et al. - 1991
16 Event spaces and their linear logic - Pratt - 1991
15 Deterministic asynchronous automata (context) - Shields - 1985
13 Origins of the calculus of binary relations - Pratt - 1992
12 the combination of subalgebras (context) - Birkhoff - 1933
7 Representation of distributive lattices (context) - Priestley - 1970
4 The Theory of Database Control (context) - Papadimitriou - 1986
2 Peirce: A Chronological Edition (context) - Kloesel, of - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://boole.stanford.edu/abstracts.html): More
Origins of the Calculus of Binary Relations - Pratt (1992) (Correct)
Branching Bisimulation as a Tool in the Analysis of Weak.. - van Glabbeek (1995) (Correct)
Action Logic and Pure Induction - Pratt (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC