Literature Cited
V. M. Glushkov, M. B. Ignatiev, V. A. Myasnikov, and V. A. Torgashev, “Recursive machines and computing technology,” IFIP Congress-74, Stockholm (1974).
F. G. M. Enslow (editor), Multiprocessor Computation Control Systems [Russian translation], Mir (1976).
E. W. Dijkstra, “Interaction of sequential processes,” in: Programming Languages (edited by F. Genyus), Academic Press (1968).
V. E. Kotov, “Theory of parallel programming,” Kibernetika, No. 2 (1974).
A. S. Narin'yani, “Theory of parallel programming. Formal models (review),” Kibernetika, Nos. 3 and 5 (1974).
R. M. Keller, “Look ahead processors,” ACM Comput. Surveys,7, No. 4 (1975).
V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Theory of data structure and synchronous parallel computing,” Kibernetika, No. 6 (1976).
V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Design of fourth-and next-generation computers,” Kibernetika, No. 1 (1973).
V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, Automatic Computer Design [in Russian], Naukova Dumka, Kiev (1957).
V. M. Glushkov and A. A. Letichevskii, “Theory of discrete automata,” in: Selected Problems in Algebra and Logic [in Russian], Novosibirsk (1972).
V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Theoretical design principles of discrete systems,” Kibernetika, No. 6 (1977).
R. M. Keller, “Towards a theory of universal speed-independent modules,” IEEE Trans. Comput.,C-23 (1974).
D. J. Kuch, “A survey of parallel machine organization and programming,” ACM Comput. Surveys,9, No. 1 (1977).
V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Means of description of computer software and hardware,” Kibernetika, No. 6 (1974).
A. A. Letichevskii, “The syntax and semantics of formal languages,” Kibbernetika, No. 4 (1968).
C. A. Petri, “Kommunikation mit Automaten,” Schriften des Rheinisch-Westfalischen Institutes für Instrumentelle Nathematik an der Universität Bonn, No. 2, Bonn (1962).
J. Dennis, J. B. Fossin, and J. P. Lindermann, “Data flow schemes,” in: Theory of Programming [Russian translation], Part 2, Vychisl. Tsentr.Sib. Otd. Akad. Nauk SSSR, Novosibirsk (1972).
A. A. Berse, “Operator structures,” Proceedings of Symposium [Russian translation], Novosibirsk (1972).
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebra, Languages, Programming [in Russian], Naukova Dumka, Kiev (1975).
A. P. Ershov, “Microprocessor programming,” Prepr. Vychisl. Tsentr. Sib. Otd. Akad. Nauk SSSR, Novosibirsk (1977).
Z. Manna and J. Vuillemin, “Fixed-point approach to the theory of computations,” Commun. ACM,20, Nos. 3, 4 (1973).
V. I. Borisenko, “Algorithm for the design of data flow schemes,” Kibernetika, No. 6 (1978).
L. M. Ivanov, “Synthesis of algorithms of discrete devices with an asynchronous modular structure,” Prepr. Inst. Kibernetiki Akad. Nauk UkrSSR, No. 23, Kiev (1977).
D. Kuck, Y. Muraoka, and S. C. Chen, “The number of simultaneously executable operations in FOR-TRAN-like programs and their resulting speed-up,” IEEE Trans. Comput.,C-21 (1972).
L. Lamport, “The parallel execution of DO loops,” Commun. ACM,17, No. 2 (1974).
G. I. Marchuk and V. E. Kotov, “A developing modular asynchronous system,” Prepr. Vychisl. Tsentr. Sib. Otd. Akad. Nauk SSSR, No. 86-87, Novosibirsk (1978).
R. M. Keller, “Parallel program schemata and maximal parallism. I, II,” ACM,20, Nos. 3, 4 (1973).
V. M. Glushkov, A. A. Barabanov, L. A. Kalinichenko, S. D. Mikhnovskii, and Z. L. Rabinovich, Computers with Advanced Interpretation Systems [in Russian], Naukova Dumka, Kiev (1970).
Additional information
Translated from Kibernetika, No. 6, pp. 1–15, November–December, 1978.
Rights and permissions
About this article
Cite this article
Glushkov, V.M., Kapitonova, Y.V. & Letichevskii, A.A. Design theory of multiprocessor computer hardware and software. Cybern Syst Anal 14, 811–823 (1978). https://doi.org/10.1007/BF01070273
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070273