Anglais ⇄ Russe +

conditional atomic action contraintes
progr.	условное неделимое действие (неделимое действие, которое должно быть отложено, пока некоторое булево условие B не станет истинным ssn)