Algebraic automata specification of common and distributed memory parallel programs

A.Yu. Doroshenko, G.E. Tseytlin


Issues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered algebrai dynamic models of parallel interaction of the sequential programs and algebraic algorithmic specifications associated with these models. The questions of discrete transformers above internal memory and conveyor calculations are stated and also theory of clones and tool means of synthesis of parallel algorithms and programs are considered.


Дорошенко А.Е., Структура и средства современных моделей параллельных вычислений // Пробл. программирования. – 1999. – N 1. – С. 38—52.

Глушков В.М. Теория автоматов и вопросы проектирования структур цифровых машин // Кибернетика. – 1965. – №1. – C. 3—11.

Глушков В.М. Теория автоматов и формальные преобразования микропрограмм // Там же. – №5. – C. 1—10.

LogP: Towards a realistic model of parallel computation / D. Culler, R. Karp, D. Patterson, A. Sahay, K.E. Schauser, E. Santos, R. Subramonian, T. von Eicken // 4-th ACM SIGPLAN Symp. on Principles and Practices of Parallel Programming (PPoPP), SIGPLAN Notices. – 1993. – 28, N 7. – P. 1—12.



  • There are currently no refbacks.