Toggle Main Menu Toggle Search


A Theorem on the Characteristics of Non-sequential Processes

Lookup NU author(s): Professor Eike Best



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.

Publication metadata

Author(s): Best E

Series Editor(s): Shaw B

Publication type: Report

Series Title: Computing Laboratory Technical Report Series

Year: 1977

Pages: 23

Source Publication Date: November 1977

Report Number: 116

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne