An Abort-Aware Model of Transactional Programming

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-93900-9_9 ◽

2008 ◽

pp. 59-73 ◽

Author(s):

Kousha Etessami ◽

Patrice Godefroid

Download Full-text