Quality of Concurrent Shared Memory Programs. - Taras Panchenko; Sunmade Fabunmi (QUATIC, 2018)

Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems. - Taras Panchenko; Sunmade Fabunmi (UkrPROG, 2018)