Atomic semantics of nonatomic programs (Q1111361)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Atomic semantics of nonatomic programs |
scientific article |
Statements
Atomic semantics of nonatomic programs (English)
0 references
1988
0 references
We argue that it is possible, and sometimes useful, to reason about nonatomic programs within the conventional atomic model of concurrency.
0 references
atomicity
0 references
interleaving semantics
0 references
nonatomic operation
0 references
shared register
0 references
concurrency
0 references
0 references
