Pages that link to "Item:Q2011206"
From MaRDI portal
The following pages link to Ensuring liveness properties of distributed systems: open problems (Q2011206):
Displaying 10 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
- Polynomial-time optimal liveness enforcement for guidepath-based transport systems (Q2665316) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Safety-liveness exclusion in distributed computing (Q2796260) (← links)
- (Q4989406) (← links)
- (Q5020945) (← links)
- (Q5089269) (← links)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (Q5370906) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)