|
|||||
|
|
A formal model of atomicity in asynchronous systems |
|
| Authors: | Eike Best Brian Randell |
| Affiliation: | (1) Computing Laboratory, University of Newcastle upon Tyne, England |
| Abstract: | Summary We propose a generalisation of occurrence graphs as a formal model of computational structure. The model is used to define the  atomic occurrence of a program, to characterise interference freeness between programs, and to model error recovery in a decentralised system. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |
