Realizability and Dynamic Reconfiguration of Chor Specifications - Roohi, N.; Salaün, G. (Informatica)
Realizability and Dynamic Reconfiguration of Chor Specifications