אנגלית ⇄ רוסית +

concurrent separation logic מתח
.הִגָי	параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk)