Шилов Н.В. О логических и алгебраических основаниях классификации формальной семантики программ // № 6, 2015
Грибовская Н.С. Сравнение причинной зависимости и семантики истинного параллелизма в контексте временных моделей // № 2, 2013
Грибовская Н.С., Вирбицкайте И.Б. Частичные порядки в системах переходов, построенных из структур событий с разрешимым конфликтом // № 20, 2022
