Формальная семантика многопоточных и распределенных систем с слабыми моделями согласованности на основе структуры событий

Проект: исполнение гранта/договораисполнение гранта/договора в целом

Сведения о проекте

АкронимRFBR_ASP_2020
СтатусАктивный
Действительная дата начала/окончания1/09/201/09/22

Ключевые слова

  • Семантика языков программирования
  • многопоточные системы
  • слабые модели памяти
  • формальная верификация
  • структуры событий