Open AccessSemantics of transactional memory and automatic mutual exclusion
Author(s) -
Martı́n Abadi,
Andrew Birrell,
Tim Harris,
Michael Isard
Publication year - 2008
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/1328438.1328449
Subject(s) - computer science , transactional memory , software transactional memory , semantics (computer science) , concurrency , programming language , implementation , mutual exclusion , theoretical computer science , database transaction
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom