Literature Cited
H. P. Brinch, “Concurrent programming concepts,” Comput. Surv.,5, No. 4 (1973).
C. A. R. Hoare, Communicating Sequential Processes, Queen's Univ., Belfast (1976).
C. A. Petri, Kommunication mit Automaten, Doctoral Thesis, University of Bonn (1962).
V. E. Kotov and A. S. Narin'yani, “Asynchronized calculational processes over a common memory,” Kibernetika, No. 3 (1966).
R. H. Campbell and A. N. Habermann, The Specification of Process Synchronization by Path Expression, Vol. 16, Lecture Notes in Computer Sciences, Springer, Berlin-Heidelberg-New York (1974).
P. E. Lauer and R. H. Campbell, “Formal semantics of a class of high-level primitives for coordinating concurrent processes,” Acta Inf.,5 (1975).
A. W. Holt and P. Commoner, Events and Conditions, Applied Data Research, New York (1970).
E.W. Dijkstra, “Guarded commands, nondeterminacy, and formal derivation of programs,” Commun. ACM,18, No. 8 (1975).
P. J. Courtois, F. Heymans, and D. L. Parnas, “Concurrent control with readers and writers,” Commun. ACM,14, No. 10 (1971).
E. W. Dijkstra, “Hierarchical ordering of sequential processing,” Acta Inf.,1, No. 3 (1972).
B. Liskov and S. Zilles, “Programming with abstract control types,” Sigplan Notices,9, No. 5 (1974).
Additional information
Translated from Kibernetika, No. 3, pp. 1–13, May–June, 1979.
Rights and permissions
About this article
Cite this article
Kotov, V.E. Parallel programming with types of control. Cybern Syst Anal 15, 291–305 (1979). https://doi.org/10.1007/BF01075087
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01075087