В бульдік айнымалы кідіріс шартын береді, ал S – аяқталуға кепілдігі бар операторлар тізбегінің тізімі ( мысалы, меншіктеу операторының тізбегі).Операторы бөлінбейтін әрекет ретінде орындалатындығын көрсету үшін үшбұрыш жақшаға алынады. Дербес жағдайда S орындала бастағанда және S тегі ешбір аралық қалып-күй басқа процесстерге көрінбейтін болса В өрнегі «ақиқат» мәніне ие болады. Мысалы,
0) S=S-1;>кодының орындалуы S-тіңмәні оң болғанша кейінге қалдырылады, одан кейін ол 1-ге кемиді. Азайтқанға дейін S-тің мәні оң болатындығына кепілдік бар.
Await операторы кез-келген бөлінбейтін әрекеті бар ірімодульды анықтау үшін қолдануы мүмкін. Сондай-ақ тиімді.
