A . def. következményeként az absztrakt program műveleti jellegű szemantikája elágazó idejű, összefésüléses és statikus. Az absztrakt program viselkedési relációval megfogalmazott leíró jellegű szemantikája absztraktabb [[???Hen 88]] a műveletinél.

Valós párhuzamosság esetén a komponensekre érvényes biztonságossági tulajdonságok sérülnek a programkompozíció (. fejezet) során. Ennek az az oka, hogy az állapottér felett az összetett program olyan új irányokban is elmozdulhat, amelyek a komponensek egyidejű mozgásainak eredői [[???Cha 90]].