英语 ⇄ 俄语 +

concurrent separation logic 强调
逻辑	параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk)