TY  - RPRT
TI  - Distributed controller synthesis for deadlock avoidance
AU  - Hugo Gimbert
AU  - Corto Mascle
AU  - Anca Muscholl
AU  - Igor Walukiewicz
PY  - 2025
DO  - 10.46298/lmcs-21(3:24)2025
UR  - https://arxiv.org/abs/2204.12409
ID  - 2204.12409
ER  -