Roohi N, Salaün G. Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica. 35(1). Accessed November 11, 2026. https://www.informatica.si/index.php/informatica/article/view/332