Pages that link to "Item:Q2491215"
From MaRDI portal
The following pages link to Splitting forward simulations to cope with liveness (Q2491215):
Displaying 9 items.
- A distributed resource allocation algorithm for many processes (Q378202) (← links)
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- Refinement verification of the lazy caching algorithm (Q2509154) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)