(1)
Realizability and Dynamic Reconfiguration of Chor Specifications. INF 35 (1).