Proving opacity of transactional memory with early release
From MaRDI portal
Publication:902713
DOI10.1515/fcds-2015-0018zbMath1328.68034OpenAlexW2475363151MaRDI QIDQ902713
Konrad Siek, Paweł T. Wojciechowski
Publication date: 4 January 2016
Published in: Foundations of Computing and Decision Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/fcds-2015-0018
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Distributed systems (68M14)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Towards formally specifying and verifying transactional memory
- AtomCaml
- Transactional Memory: Glimmer of a Theory
- Elastic Transactions
- The serializability of concurrent database updates
- A programming language perspective on transactional memory consistency
- The semantics of progress in lock-based transactional memory
- Software transactional memory
This page was built for publication: Proving opacity of transactional memory with early release