_id,doi,title 4387,10.1007/978-3-540-85361-9_6,Completeness and nondeterminism in model checking transactional memories