TY  - RPRT
TI  - Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
AU  - Bas van den Heuvel
AU  - Martin Sulzmann
AU  - Peter Thiemann
PY  - 2026
UR  - https://arxiv.org/abs/2502.20070
ID  - 2502.20070
ER  -