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) no. 1, pp. 57-66.
@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},
     pages = {57--66},
     publisher = {EDP-Sciences},
     volume = {14},
     number = {1},
     year = {1980},
     zbl = {0429.68038},
     mrnumber = {570038},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1980__14_1_57_0/}
}
TY  - JOUR
AU  - Tchuente, Maurice
TI  - Sur l'élimination itérative des situations de blocage dans un système
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1980
DA  - 1980///
SP  - 57
EP  - 66
VL  - 14
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1980__14_1_57_0/
UR  - https://zbmath.org/?q=an%3A0429.68038
UR  - https://www.ams.org/mathscinet-getitem?mr=570038
LA  - fr
ID  - ITA_1980__14_1_57_0
ER  - 
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) no. 1, pp. 57-66. http://www.numdam.org/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