A formal model of atomicity in asynchronous systems (Q1838831)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal model of atomicity in asynchronous systems |
scientific article |
Statements
A formal model of atomicity in asynchronous systems (English)
0 references
1981
0 references
concurrent processes
0 references
cycle-freeness of graphs
0 references
generalisation of occurrence graphs
0 references
formal model of computational structure
0 references
atomic occurrence of a program
0 references
interference freeness
0 references
error recovery
0 references
decentralised system
0 references
