TY - RPRT TI - Avoiding Deadlocks via Weak Deadlock Sets AU - Gianpaolo Oriolo AU - Anna Russo Russo PY - 2024 UR - https://arxiv.org/abs/2410.05175 ID - 2410.05175 ER -