John W. O'Leary (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342

13 John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424

Selection of 2 from 16 records - John W. O'Leary has 28 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

14		John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
13		John W. O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424