Verification of Concurrent Programs on Weak Memory Models.

Oleg Travkin, Heike Wehrheim

Browse the full ICTAC paper archive.