Научные интересы

Теоретическая информатика, теория параллельной и распределенной обработки информации, семантика параллельных процессов, архитектура многопроцессорных систем, языки параллельного программированиа, распараллеливание алгоритмов и программ, сети ЭВМ, сверхсложные системы (Systems of Systems).

Научные публикации

•‎ Theory of Parallel Programming. Survey of Practical Aspects. In: Advances in Information Systems Science, Vol. 6, Plenum Press, 1976.
•‎ Введение в теорию схем програм. Наука, 1978, 257 стр.
•‎ An Algebra for Parallelism Based on Petri Nets. In: Mathematical Foundations of Computer Science, Springer-Verlag, 1978.
•‎ On Basic Parallel Language. In: Proceedings of the IFIP World Computer Congress, North-Holl. Publ., 1980.
•‎ Сети Петри, Наука, 1984, 158 стр.
•‎ Formal Models of Parallel Programs. In: Algorithms, Software and Hardware of Parallel Computers, Springer-Verlag, 1984.
Теория схем программ. Наука, 1991, 248 стр.
•‎ Concurrency + Modularity + Programmability = MARS. Communications of the ACM, Vol. 34, No. 6, 1991.
•‎ Systems of Systems as Communicating Structures. In: Object-Oriented Technology and Computing Systems Re-Engineering, Horwood Publ., 1997.
•‎ Facilitating Analysis and Optimization of Large-Scale Enterprise System. In: Design, Performance and Scalability of the Distributed Enterprise Systems, Nova, 2001.

Премии и награды

•‎ Орден «Знак Почёта», 1982 г.
•‎ International Federation for Information Processing, The Silver Core, 1986 г.