The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Browse the full CONCUR paper archive.