Pages that link to "Item:Q2377134"
From MaRDI portal
The following pages link to Model checking transactional memories (Q2377134):
Displaying 6 items.
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)
- Completeness and Nondeterminism in Model Checking Transactional Memories (Q3541009) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)
