Open AccessDistributed controller synthesis for deadlock avoidance
Author(s) -
Hugo Gimbert,
Mascle, Corto,
Anca Muscholl,
Igor Walukiewicz
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.4230/lipics.icalp.2022.125
Subject(s) - deadlock , computer science , controller (irrigation) , distributed computing , deadlock prevention algorithms , agronomy , biology