Russian ⇄ English

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