Pages that link to "Item:Q5403461"
From MaRDI portal
The following pages link to Simulation Refinement for Concurrency Verification (Q5403461):
Displaying 6 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- The existence of refinement mappings (Q805251) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- Refinement checking based on simulation relations (Q2824414) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Simulation-Based Concurrent Non-malleable Commitments and Decommitments (Q3611761) (← links)