Грибовская Наталия Сергеевна Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов параллельные системы и процессы формальные модели эквивалентности спецификация и верификация параллельных систем и процессов Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — старший научный сотрудник Новосибирский государственный университет — старший преподаватель Адрес электронной почты gribovskaya@iis.nsk.su natamosk@gmail.com
Грибовская Н.С. Сравнение причинной зависимости и семантики истинного параллелизма в контексте временных моделей // Системная информатика. — 2013. — № 2. — С. 71-100
Грибовская Н.С., Вирбицкайте И.Б. Частичные порядки в системах переходов, построенных из структур событий с разрешимым конфликтом // Системная информатика. — 2022. — № 20. — С. 1-24
Грибовская Н.С., Вирбицкайте И.Б. Семантика систем переходов структур событий с отменяемыми событиями при сохранении причинно-следственной зависимости // Системная информатика. — 2024. — № 24. — С. 59-90
