Anjelika V. Votintseva
E-mail
List of Articles:
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