@misc{indiciae7c9495b81605, title = {A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging}, author = {Juan José González-Abril and Germán Vidal}, year = {2022}, url = {https://arxiv.org/abs/2112.12869}, note = {Source identifier: 2112.12869} }