Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework.

Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs, Istvn Majzik

Browse the full DSN paper archive.