Votintseva A. Algebraic characterization of behavioural equivalences over event structures // Computer Science. — 2000. — # 13 — P. 76-87
Votintseva A., Yakovlev A. Algebraic specifications for dataflow computations design // Computer Science. — 2000. — # 13 — P. 88-104
Votintseva A. Investigation of weak equivalence notions for event structures // Computer Science. — 1999. — # 11 — P. 93-115
Votintseva A. Equivalence notions for event structures and refinement of actions // Computer Science. — 1996. — # 5 — P. 101-114
Virbitskaite I., Votintseva A. Modelling the semantics of coloured dataflow networks // Computer Science. — 1995. — # 3 — P. 101-115
