Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

A Theorem on the Characteristics of Non-sequential Processes

Lookup NU author(s): Professor Eike Best

Downloads

Abstract

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

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1977

Pages: 23

Print publication date: 01/11/1977

Source Publication Date: November 1977

Report Number: 116

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

Share