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

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

Project: Grant fulfilment › Total grant fulfilment

Koznov, Dmitrii (PI)
Моисеенко, Евгений Александрович (CoI)

Acronym	RFBR_ASP_2020
Status	Finished
Effective start/end date	1/09/20 → 1/09/22

ID: 64665838