Pages that link to "Item:Q1764428"
From MaRDI portal
The following pages link to An assertional proof for a construction of an atomic variable (Q1764428):
Displaying 6 items.
- Invariants for the construction of a handshake register (Q293438) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- A queue based mutual exclusion algorithm (Q1006897) (← links)
- An assertional criterion for atomicity (Q1608943) (← links)
- A challenge for atomicity verification (Q2482021) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)