TY - RPRT TI - Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay AU - Dominik Aumayr AU - Stefan Marr AU - Sophie Kaleba AU - Elisa Gonzalez Boix AU - Hanspeter Mössenböck PY - 2021 DO - 10.22152/programming-journal.org/2021/5/14 UR - https://arxiv.org/abs/2103.00031 ID - 2103.00031 ER -