The following pages link to (Q4967167):
Displaying 8 items.
- Proving opacity of transactional memory with early release (Q902713) (← links)
- On the composability of consistency conditions (Q1007594) (← links)
- Consistency in nondeterministic storage (Q1060847) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- Characterizing Transactional Memory Consistency Conditions Using Observational Refinement (Q3177890) (← links)
- (Q3656206) (← links)
- (Q4967228) (← links)
- A verified durable transactional mutex lock for persistent x86-TSO (Q6661756) (← links)