BibTeX Entry |
@incollection{scott:semantics:transact:2006, author = {Scott, Michael L.}, title = {Sequential Specification of Transactional Memory Semantics}, booktitle = {ACM SIGPLAN Workshop on Transactional Computing}, month = {Jun}, year = {2006}, note = {Held in conjunction with PLDI 2006}, pdf = {http://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_formal_STM.pdf}, }