The following pages link to (Q5015395):
Displaying 10 items.
- Mutual exclusion as a matter of priority (Q1625608) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- Unbeatable consensus (Q2121062) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- (Q3384879) (← links)
- (Q5018518) (← links)
- A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems (Q6118735) (← links)
- Fire! (Q6642572) (← links)
- Communication pattern models: an extension of action models for dynamic-network distributed systems (Q6642582) (← links)