Sur l'élimination itérative des situations de blocage dans un système
RAIRO. Informatique théorique, 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. Informatique th\'eorique},
     pages = {57--66},
     publisher = {EDP-Sciences},
     volume = {14},
     number = {1},
     year = {1980},
     mrnumber = {570038},
     zbl = {0429.68038},
     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. Informatique théorique
PY  - 1980
SP  - 57
EP  - 66
VL  - 14
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1980__14_1_57_0/
LA  - fr
ID  - ITA_1980__14_1_57_0
ER  - 
%0 Journal Article
%A Tchuente, Maurice
%T Sur l'élimination itérative des situations de blocage dans un système
%J RAIRO. Informatique théorique
%D 1980
%P 57-66
%V 14
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1980__14_1_57_0/
%G fr
%F ITA_1980__14_1_57_0
Tchuente, Maurice. Sur l'élimination itérative des situations de blocage dans un système. RAIRO. Informatique théorique, 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

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

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 | Zbl

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 | Zbl