On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study).

Levente Bajczi, Csand Telbisz, Dniel Szekeres, Andrs Vrs

Browse the full TACAS paper archive.