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

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

Csanád Telbisz , Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik:
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework. DSN-W 2025: 43-46