|
П |
Исследование эквивалентности для структур событий |
1997 |
Вотинцева А. В. |
|
|
ИСИ СО РАН |
Оптимизирую ая трансляция и конструирование программ: сборник |
09.01.1998 |
|
СТ |
Сравнение логических и поведенческих эквивалентностей для структур событий |
1995 |
Вирбицкайте И. Б., Вотинцева А. В. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
14.12.1996 |
|
СТ |
О семантических аспектах потоковых вычислений с цветными фишками |
1996 |
Вирбицкайте И. Б., Вотинцева А. В., Шкляев Д. А. |
|
|
|
Программирование |
31.07.1996 |
|
П |
Семантические модели потоковых вычислений |
1993 |
Вирбицкайте И. Б., Вотинцева А. В. |
Lecture Notes in Computer Science |
|
ИСИ СО РАН |
|
28.06.1995 |
