The following pages link to (Q2863833):
Displayed 4 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- A fine-grained semantics for arrays and pointers under weak memory models (Q6174541) (← links)