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

Wed, 01 Jan 2025 00:00:00 +0100

Levente Bajczi , Csanád Telbisz , Dániel Szekeres , András Vörös :
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study). TACAS (1) 2025: 3-19