A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems (Q990136)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems |
scientific article |
Statements
A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems (English)
0 references
2 September 2010
0 references
concurrency
0 references
distributed algorithms
0 references
fault-tolerance
0 references
theoty of computation
0 references
asynchronous message-passing system
0 references
atomic register
0 references
weakest failure detector
0 references
0 references
