Skip to main content
Home

Main menu

  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
    • How to submit
  • Contacts

Votintseva Anjelika

Search

Anjelika
V.
Votintseva
E-mail
lika@iis.nsk.su

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
© 2015 - 2023 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
    • About
      • Journal
      • Editorial
      • ISSN
    • Series
      • Computer Science
      • Mathematical Modeling in Geophysics
      • Numerical Analysis
      • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
    • Search
    • Authors
    • Submission
    • Contacts
    • Search