Describir: Analýza synchronizácie súbežných procesov