Terms for subject Logic containing параллельно

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