The following pages link to (Q3619880):
Displaying 15 items.
- Info-based approach in distributed mutual exclusion algorithms (Q433445) (← links)
- Distributed supply-demand balancing and the physics of smart energy systems (Q522875) (← links)
- A new asymptotic notation: Weak Theta (Q1666904) (← links)
- A hybrid token-based distributed mutual exclusion algorithm using wraparound two-dimensional array logical topology (Q1944146) (← links)
- Distributed simulation: state-of-the-art and potential for operational research (Q1991248) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- A survey on the distributed computing stack (Q2668396) (← links)
- Data-driven mixed-integer linear programming-based optimisation for efficient failure detection in large-scale distributed systems (Q2673583) (← links)
- Analysis of distributed systems via quasi-stationary distributions (Q3383680) (← links)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- (Q5090934) (← links)
- (Q5452364) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
- Singularly optimal randomized leader election (Q6535020) (← links)
