Sur l'élimination itérative des situations de blocage dans un système
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1980)
- Volume: 14, Issue: 1, page 57-66
- ISSN: 0988-3754
Access Full Article
top
How to cite
topTchuente, Maurice. "Sur l'élimination itérative des situations de blocage dans un système." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 14.1 (1980): 57-66. <http://eudml.org/doc/92117>.
@article{Tchuente1980,
author = {Tchuente, Maurice},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {deadlock; operating system},
language = {fre},
number = {1},
pages = {57-66},
publisher = {EDP-Sciences},
title = {Sur l'élimination itérative des situations de blocage dans un système},
url = {http://eudml.org/doc/92117},
volume = {14},
year = {1980},
}
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
PB - EDP-Sciences
VL - 14
IS - 1
SP - 57
EP - 66
LA - fre
KW - deadlock; operating system
UR - http://eudml.org/doc/92117
ER -
References
top- 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. Zbl0305.68048
- 3. E. W. DIJKSTRA, A Discipline of Programming, Prentice-Hall, New Jersey, 1976. Zbl0368.68005MR660283
- 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. Zbl0064.26004MR74376
- 6. M. TCHUENTE, Sur l'auto-stabilisation dans un réseau d'automates, R.R., n° 111, 1978, Maths Appliquées Grenoble. Zbl0473.68047
- 7. A. VAN LAMSWEERDE et M. SINTZOFF, Formal Derivation of Strongly Correct Concurrent Programs, Acta Informatica, vol. 12, 1979, p.1-31. Zbl0389.68012MR536037
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.