| |||
| условное неделимое действие (неделимое действие, которое должно быть отложено, пока некоторое булево условие B не станет истинным ssn) | |||
| |||
| условное неделимое действие (неделимое действие, которое должно быть отложено, пока некоторое булево условие B не станет истинным ssn) | |||
