The following pages link to (Q4808690):
Displaying 7 items.
- Completeness of fair ASM refinement (Q541210) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- Splitting forward simulations to cope with liveness (Q2491215) (← links)
- Refinement verification of the lazy caching algorithm (Q2509154) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
