Time and information in sequential and concurrent computation

  • Vaughan Pratt
Invited Talk 1

DOI: 10.1007/BFb0026562

Part of the Lecture Notes in Computer Science book series (LNCS, volume 907)
Cite this paper as:
Pratt V. (1995) Time and information in sequential and concurrent computation. In: Ito T., Yonezawa A. (eds) Theory and Practice of Parallel Programming. Lecture Notes in Computer Science, vol 907. Springer, Berlin, Heidelberg

Abstract

Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and information, whose axes are oriented respectively horizontally and vertically. We fit various basic phenomena of computation, and of behavior in general, to the phase space perspective. The extant two-dimensional logics of sequential behavior, the van Glabbeek map of branching time and true concurrency, event-state duality and schedule-automaton duality, and Chu spaces, all fit the phase space perspective well, in every case confirming our choice of orientation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Vaughan Pratt
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations