245 followers
Verifying Opacity of a Transactional Mutex Lock. - John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin,… http://t.co/H1FARzxoCa
Verifying Opacity of a Transactional Mutex Lock. - John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin,… http://t.co/H1FARzxoCa