|
СТ |
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 |
|
СТ |
Equivalence Notions for event Structures and Refinement of Actions |
1996 |
Votintseva A. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
24.03.1999 |
|
П |
Comparing Logical and Behavioural Equivalences for Event Structures |
1996 |
Virbitskaite I., Votintseva A., Best E. |
|
|
Univ. Hildesheim |
|
22.04.1998 |
|
П |
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 |
