Pages that link to "Item:Q3174968"
From MaRDI portal
The following pages link to Proving Opacity of a Pessimistic {STM} (Q3174968):
Displaying 9 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Value-based or conflict-based? Opacity definitions for STMs (Q1675797) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- Checking opacity and durable opacity with FDR (Q6045053) (← links)
- Verifying correctness of persistent concurrent data structures (Q6535948) (← links)
- A verified durable transactional mutex lock for persistent x86-TSO (Q6661756) (← links)