A Theorem on the Characteristics of Non-sequential 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 |
| Date | | November 1977 |
| Report Number | | 116 |
| Pages | | 23 |
|
|
|
| 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. |
|
|
|
| Institution | | Computing Laboratory, The University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
