Sur l'élimination itérative des situations de blocage dans un système
Tchuente, Maurice
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980), p. 57-66 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1980-01-01
@article{ITA_1980__14_1_57_0,
     author = {Tchuente, Maurice},
     title = {Sur l'\'elimination it\'erative des situations de blocage dans un syst\`eme},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {14},
     year = {1980},
     pages = {57-66},
     mrnumber = {570038},
     zbl = {0429.68038},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1980__14_1_57_0}
}

Tchuente, Maurice. Sur l'élimination itérative des situations de blocage dans un système. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) pp. 57-66. http://gdmltest.u-ga.fr/item/ITA_1980__14_1_57_0/

1. A. Arnold et M. Nivat, Non Deterministic Commutation Spaces, Second International workshop on semantics of programming languages, Bad-Honnef, mars 1979.

2. E. W. Dijkstra, Self-Stabilizing Systems in Spite of Distributed Control, Comm. A.C.M., vol. 17, 1974, p. 643-644. | Zbl 0305.68048

3. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, New Jersey, 1976. | MR 660283 | Zbl 0368.68005

4. M. Sintzoff, Inventing Program Construction Rules, Dans Constructing Quality Software, P. HIBBARD et S. SCHUMAN, éd., North. Holland, Amsterdam, 1978, p. 471-501.

5. A. Tarski, A Lattice Theoretical Fixpoint Theorem and its Applications, Pac. J. Math., vol. 5, 1955, p. 285-310. | MR 74376 | Zbl 0064.26004

6. M. Tchuente, Sur l'auto-stabilisation dans un réseau d'automates, R.R., n° 111, 1978, Maths Appliquées Grenoble.

7. A. Van Lamsweerde et M. Sintzoff, Formal Derivation of Strongly Correct Concurrent Programs, Acta Informatica, vol. 12, 1979, p.1-31. | MR 536037 | Zbl 0389.68012