A Theorem on the Characteristics of Nonsequential Processes
 Lookup NU author(s)
 Professor Eike Best




Author(s)   Best E 
Series Editor(s)   Shaw B 
Publication type   Report 
Series Title   Computing Laboratory Technical Report Series 
Year   1977 
Source Publication Date   November 1977 
Report Number   116 
Pages   23 



Full text is available for this publication: 




Real nonsequential 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 Turingcomputability. 



Institution   Computing Laboratory, The University of Newcastle upon Tyne 
Place Published   Newcastle upon Tyne 
Actions   
Share   