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

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

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

Кознов, Дмитрий Владимирович (руководитель)
Моисеенко, Евгений Александрович (исполнитель)

Акроним	RFBR_ASP_2020
Статус	Завершено
Эффективные даты начала/конца	1/09/20 → 1/09/22

Области исследований

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

ID: 64665838

Pure – это продукт компании Elsevier
На данном информационном ресурсе могут быть опубликованы архивные материалы
с упоминанием физических и юридических лиц, включенных Министерством юстиции
Российской Федерации в реестр иностранных агентов

Вход в Pure