A Theorem on the Characteristics of Non-sequential Processes

  1. Lookup NU author(s)
  2. Professor Eike Best
Author(s)Best E
Series Editor(s)Shaw B
Publication type Report
Series TitleComputing Laboratory Technical Report Series
Source Publication DateNovember 1977
Report Number116
Full text is available for this publication:
Real non-sequential processes can be described in a consistent way if they are assumed to satisfy a certain density property. Density as defined in [1] can be interpreted as postulating that a ""global state"" consists of a ""progress snapshot"" of all single activities which constitute it. The present report shows that postulating density amounts to postulating that (a) each single of a processs is either infinite or has a first cause (but not both), and (b) each single future of a process is either infinite ofr has a last effect (but not both). This result is interpreted and applied to the question of Turing-computability.
InstitutionComputing Laboratory, The University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication