Pages that link to "Item:Q1608943"
From MaRDI portal
The following pages link to An assertional criterion for atomicity (Q1608943):
Displaying 7 items.
- Invariants for the construction of a handshake register (Q293438) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- An assertional proof for a construction of an atomic variable (Q1764428) (← links)
- A challenge for atomicity verification (Q2482021) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
- Tight failure detection bounds on atomic object implementations (Q3578204) (← links)