Pre-print version of the paper " Dynamic Choreographies : Theory And Implementation

It is proved that DPOC distributed applications generated from DIOC specifications are deadlock free and race free and that these properties hold also after any runtime update.