КаталогИндекс раздела
НазадОглавление

Ссылки

  1. Brinch-Hansen, P. Structured multiprogramming. Comm. ACM 15, 7 (July 1972), 574-577.
  2. Brinch-Hansen, P. " A comparison of two synchronizing concepts," Acta Information 1 (1972), 190-199.
  3. Brinch- Hansen P. Operating System Principles. Prentice-Hall, Englewood Cliffs, N.J., 1973.
  4. Courtois, P. J., Heymans, F., Parnas, D.L. Concurrent control with readers and writers. Comm. ACM 14, 10 (Oet. 197 1 ), 667-668.
  5. Courtois, P.J. Heymans, F., Paranas, D.L. Comments on [2]. Acta Informatica (1972), 375-376.
  6. Dahl, O.J. Hierarchical program structures. In Structured Programming, Academic Press, New York, 1972.
  7. Dijkstra, E. W. Cooperating Sequnential Processes. In programming Languages (Ed. F. Genuys), Acauemic Press, New York,
  8. Dijkstra, E.W. A constructive approach to the problem of program corrcctness. BIT 8 (1968), 174-186.
  9. Dijkstra, E,W, Hierarchical ordering of sequential processes. In Operating Systems Techniques, Academic Press, New York, 1972.
  10. Dijkstra, E.W, Information streams sharing a finite buffer. Information Processing Letters 1,5 (Oct. 1972), 179-180.
  11. Dijkstra, E.W. A class of allocation strategies inducing bounded delays only. Proc AFIPS 1972 SJCC, Vol. 40, AFIPS Press, Montvale, N.J., pp. 933-936.
  12. Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systens techniques, Academic Press, New York, 1972.
  13. Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 1 (1972), 271-281.
  14. Hoare, C.A.R. A structured paging system. Computer J. 16, 3 (1973), 209-215
  15. Wirth, N. The programming language PASCAL. Acta Informatica 1, 1(1971), 35-63.
НазадОглавление
КаталогИндекс раздела