Грибовская Наталия Сергеевна

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