The following pages link to A criterion for atomicity (Q1192605):
Displaying 14 items.
- A criterion for atomicity revisited (Q884994) (← links)
- Semantic independence (Q911745) (← links)
- Global serializability of concurrent programs (Q1318722) (← links)
- An assertional criterion for atomicity (Q1608943) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Efficient algorithms for checking the atomicity of a run of read and write operations (Q1892712) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Composite registers (Q2365566) (← links)
- Exceptions and side-effects in atomic blocks (Q2575133) (← links)
- An approach to splitting atoms safely (extended abstract) (Q2852345) (← links)
- AtomCaml (Q2936772) (← links)
- Model Checking Software (Q5308380) (← links)
- Causal Atomicity (Q5756744) (← links)