(untitled) (Informatica)
Realizability and Dynamic Reconfiguration of Chor Specifications