Pages that link to "Item:Q5286166"
From MaRDI portal
The following pages link to Simulating synchronized clocks and common knowledge in distributed systems (Q5286166):
Displaying 8 items.
- The complexity of almost-optimal simultaneous coordination (Q675301) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- Common knowledge revisited (Q1295439) (← links)
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- Reconciling fault-tolerant distributed algorithms and real-time computing (Q2251157) (← links)
- Knowledge-based programs (Q5137342) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- Using counterfactuals in knowledge-based programming (Q5138508) (← links)
