В последние годы в Западной Европе при построении ответственных систем широко применяется синхронное программирование, однако на русском языке какие-либо публикации на эту тему отсутствуют. Цель настоящей работы состоит в том, чтобы восполнить указанный пробел.