英语 ⇄ 俄语 +

formal language for describing the fundamental concepts of concurrency 强调
编程	формальный язык описания фундаментальных концепций параллелизма (ssn)