Вы здесь

Votintseva A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Algebraic characterization of bihavioural equivalences over event structures 2000 Votintseva A. Russian Academy of Science, Siberian Division Joint Bull. of NCC and IIS 06.03.2001
СТ Algebraic specifications for dataflow computations design 2000 Votintseva A., Yakovlev A. Russian Academy of Science, Siberian Division Joint Bull. of NCC and IIS 06.03.2001
П Comparing Logical and Behavioural Equivalences for Event Structures 1996 Virbitskaite I., Votintseva A., Best E. Univ. Hildesheim 22.04.1998
СТ Equivalence Notions for event Structures and Refinement of Actions 1996 Votintseva A. Computer Science Joint Bull. of NCC and IIS 24.03.1999
П Investigating Semantic Notions for Coloured Dataflow Netwirks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Univ. Hildesheim 22.04.1998
П Investigating Semantic Notions for Coloured Dataflow Networks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Hildesheimer Informatik-Berichte 06.04.1998