Software Transactional Memory on Relaxed Memory Models
From MaRDI portal
Publication:3636871
DOI10.1007/978-3-642-02658-4_26zbMath1242.68162MaRDI QIDQ3636871
Vasu Singh, Rachid Guerraoui, Thomas A. Henzinger
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_26
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Operational semantics of a weak memory model with channel synchronization, Operational semantics of a weak memory model with channel synchronization, Verification of STM on relaxed memory models, Towards formally specifying and verifying transactional memory, Extensible transactional memory testbed, Model checking transactional memories, Unnamed Item
Uses Software