|
СТ |
Modular Highly-parallel Computation and Architectures |
1988 |
Kotov V. E. |
|
|
|
Parcella 88 |
15.05.2009 |
|
СТ |
Descriptive and Analytical Process Algebras |
1988 |
Cherkasova L. A., Kotov V. E. |
|
|
|
Application and Theory of Petri Nets |
07.07.1995 |
|
СТ |
Modular Highly-Parallel Computation and Architectures |
1988 |
Kotov V. E. |
Mathematical Research |
|
|
Parcella 88 |
29.06.1995 |
|
СТ |
An Integrated Trigger Function Parallel System |
1981 |
Kotov V. E. |
|
|
INRIA |
Langages et Traducteurs 1978-1981 |
25.05.1995 |
|
СТ |
MARS - A Hierarchical Heterogeneous Modular System |
1985 |
Kotov V. E., Marchuk A. G., Vishnevsky Y. L. |
|
|
|
IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture. Proc. |
20.04.1993 |
|
СТ |
Project START |
1991 |
Kotov V. E. |
|
|
|
Communications of the ACM |
19.03.1993 |
|
СТ |
Concurrency+Modularity+Programmability=MARS |
1991 |
Kotov V. E. |
|
|
|
Communications of the ACM |
19.03.1993 |
|
СТ |
Theory of parallel programming |
1976 |
Narin Yani A. S., Kotov V. E. |
|
|
|
Advances in Information Systems Science. Plenum Press |
29.12.1992 |
|
СТ |
The undecidability of propositional temporal logic for Petri nets |
1987 |
Cherkasova L. A., Kotov V. E. |
|
|
|
Computers and Artificial Intelligence |
16.12.1992 |
|
СТ |
An algebra of concurrent non-deterministic processes |
1991 |
Cherkasova L. A., Kotov V. E. |
|
|
|
Images of Programming: Dedicated to the Memory of A.P. Ershov |
06.02.1992 |
