Distributed Controller Synthesis for Deadlock Avoidance.

Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz

Browse the full ICALP paper archive.