https://www.iis.nsk.su/files/preprints/ … ya_180.pdf
2016, Л.В. Городняя, Язык параллельного программирования Синхро, предназначеный для обучения,
Институт систем информатики им. А. П. Ершова СО РАН, Новосибирск
«представляет интерес для системных программистов»
«The plan of a language for the basic learning of parallel programming is suggested.»
«The main steps of an educational program are considered.»
(иногда мысли яснее и чётче выражены на английском языке)
«средства управления кроме логических значений используют события и многое другое»
(например что? как насчёт темпоральной логики?)
«Актуальность обучения параллельному программированию требует развития языковой и системной поддержки учебных систем»
«выражения зависимости программируемых решений от динамики»
(можно читать, как "кодирование с учётом стрелы времени"?)