Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings (Q2802963)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings |
scientific article |
Statements
Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings (English)
0 references
3 May 2016
0 references
runtime verification
0 references
distributed decision
0 references
distributed verification
0 references
well-quasi-ordering
0 references
wait-free computing
0 references
combinatorial topology
0 references
