Distributed controller synthesis for deadlock avoidance

DOI10.46298/LMCS-21(3:24)2025MaRDI QIDQ6925611zbMATH OpenFDO

Authors Hugo Gimbert, Corto N. Mascle, Anca Muscholl, Igor Walukiewicz

Publication date 25 September 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

distributed synthesisdeadlock avoidancelock synchronisation

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Distributed controller synthesis for deadlock avoidance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925611)