Quelques problèmes de parallélisme et leurs solutions par sémaphore
Publications mathématiques et informatique de Rennes no. 3  (1972), Talk no. 1, 23 p.
@article{PSMIR_1972___3_A1_0,
     author = {Kaiser, C.},
     title = {Quelques probl\`emes de parall\'elisme et leurs solutions par s\'emaphore},
     journal = {Publications math\'ematiques et informatique de Rennes},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {3},
     year = {1972},
     note = {talk:1},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1972___3_A1_0}
}
Kaiser, C. Quelques problèmes de parallélisme et leurs solutions par sémaphore. Publications mathématiques et informatique de Rennes, no. 3 (1972), Talk no. 1, 23 p. http://www.numdam.org/item/PSMIR_1972___3_A1_0/

[1] Betourne, Boulenger, Ferrie, Kaiser, Kott, Krakowiak, Mossiere. Process management and resource sharing in the multiaccess system ESOPE CACM 13,12 (dec. 70) | Zbl 0222.68004

[2] Betourne, Boulenger, Ferrie, Kaiser, Krakowiak, Mossiere. Présentation du système ESOPE congrès AFCET (sept. 70)

[3] Courtois,P.J,Heymans,F. and Parnas, D.L. Concurrent control with readers and writers CACM 14,10 (oct. 71)

[4] Dennis,J.B. and Van Horn,E.C. Programming semantics for multiprogrammed Computations CACM 9,3 (March 1966) | Zbl 0139.32806

[5] Dijkstka,E.W. Cooperating Sequential Processes, Programming Languages (F. Genuys, ed.) Academic Press (1968)

[6] Dijkstka,E.W. The structure of THE multiprogramming SystemCACM 11,5 May 1968 | Zbl 0164.18704

[7] Dijkstka,E. W. Hierarchical ordering of sequential processes.EWD 310, (1971)

[8] Floyd,R.W Assigning meanings to programs. Proc. Symposia in applied Mathematics, vol. American Mathematical Society (1967) | MR 235771 | Zbl 0189.50204

[9] Habermann,A.N Prevention of system deadlockCACM 12,7 (July 69) | Zbl 0184.20602

[10] Riddle,W.E and Saal,H.S Communicating semaphores CGRM 117, Stanford 1970 (note interne)