Sur l’elimination itérative des situations de blocage dans un système. (French) Zbl 0429.68038


68N25 Theory of operating systems
Full Text: EuDML


[1] 1. A. ARNOLD et M. NIVAT, Non Deterministic Commutation Spaces, Second International workshop on semantics of programming languages, Bad-Honnef, mars 1979.
[2] 2. E. W. DIJKSTRA, Self-Stabilizing Systems in Spite of Distributed Control, Comm. A.C.M., vol. 17, 1974, p. 643-644. Zbl0305.68048 · Zbl 0305.68048
[3] 3. E. W. DIJKSTRA, A Discipline of Programming, Prentice-Hall, New Jersey, 1976. Zbl0368.68005 MR660283 · Zbl 0368.68005
[4] 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] 5. A. TARSKI, A Lattice Theoretical Fixpoint Theorem and its Applications, Pac. J. Math., vol. 5, 1955, p. 285-310. Zbl0064.26004 MR74376 · Zbl 0064.26004
[6] 6. M. TCHUENTE, Sur l’auto-stabilisation dans un réseau d’automates, R.R., n^\circ 111, 1978, Maths Appliquées Grenoble.
[7] 7. A. VAN LAMSWEERDE et M. SINTZOFF, Formal Derivation of Strongly Correct Concurrent Programs, Acta Informatica, vol. 12, 1979, p.1-31. Zbl0389.68012 MR536037 · Zbl 0389.68012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.