Pages that link to "Item:Q2802963"
From MaRDI portal
The following pages link to Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings (Q2802963):
Displayed 5 items.
- Redundancy in distributed proofs (Q2025853) (← links)
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring (Q2304020) (← links)
- (Q5090916) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Perfect failure detection with very few bits (Q5919048) (← links)