Model Checking Transactional Memory with Spin
Model Checking Transactional Memory with Spin
J. O'Leary,Bratin Saha,M. Tuttle
2008 · DOI: 10.1145/1400751.1400816
IEEE International Conference on Distributed Computing Systems · 21 Citations
Model Checking Transactional Memory with Spin
J. O'Leary,Bratin Saha,M. Tuttle