Pages that link to "Item:Q3189825"
From MaRDI portal
The following pages link to High-level small-step operational semantics for transactions (Q3189825):
Displaying 5 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- A model of dynamic separation for transactional memory (Q1959477) (← links)
- Proving Isolation Properties for Software Transactional Memory (Q3000572) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)
