Deadlocks and livelocks in transition systems

  • Joseph Sifakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)


Transition System Parallel Program Parallel System Total Blocking Primitive Notion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ACG79]
    Advanced Course on general net theory of processes and systems. Hamburg University, October 1979 (to be published by Springer Verlag).Google Scholar
  2. [ASH75]
    E.A. ASHCROFT: “Proving assertions about parallel programs”. Journal of Comp. and Syst. Science, 10, 1975, pp. 110–135.Google Scholar
  3. [COF71]
    E.G. COFFMAN, JR., M.J. ELPHICK, A. SHOSHANI: “System Deadlocks”. Comp. Surveys, ACM, Vol.3, no2, June 1971, pp.67–78.Google Scholar
  4. [DIJ71]
    E.W. DIJKSTRA: “Hierarchical ordering of sequential processes”. Acta Informatica, 1, 2, October 1971, pp. 115–138.Google Scholar
  5. [DIJ75]
    E.W. DIJKSTRA: “Guarded commands, non determinacy and formal derivation of programs”. Comm. ACM, vol.18, no8, August 1975, pp. 453–457.Google Scholar
  6. [DIJ76]
    E.W. DIJKSTRA: “A discipline of programming”. Prentice Hall Inc., 1976.Google Scholar
  7. [FLO78]
    L. FLON & N. SUZUKI: “Non determinism and the correctness of parallel programs” in “Formal description of programming concepts”. North Holland Publ. Co., 1978, pp. 589–608.Google Scholar
  8. [GUE79]
    P. GUERREIRO: “Un modèle relationnel pour les programmes non-déterministes”. DEA report, IMAG, Grenoble, June 1979.Google Scholar
  9. [HOA78]
    C.A.R. HOARE: “Some properties of predicate transformers”. J.A.C.M., vol.25, no3, July 1978, pp. 461–480.Google Scholar
  10. [HOL71]
    R.C. HOLT: “Comments on prevention of system dealocks”. Comm. ACM, vol.14, no1, January 1971, pp. 36–38.Google Scholar
  11. [HOL72]
    R.C. HOLT: “Some deadlock properties of computer systems”. Comp. Surveys, ACM, vol.4, no2, September 1972, pp.179–196.Google Scholar
  12. [KEL72]
    R.M. KELLER: “Vector replacement systems: a formalism modeling asynchronous systems”. Princeton University, Technical report no 117, December 1972.Google Scholar
  13. [KEL76]
    R.M. KELLER: “Formal verification of parallel programs”. Comm. ACM, vol.19, no7, July 1976, pp. 371–384.Google Scholar
  14. [KNU66]
    D.E. KNUTH: “Additional comments on a problem in concurrent programming control”. Comm. ACM, vol.9, no9, May 1966, pp. 321–322.Google Scholar
  15. [KWO77]
    Y.S. KWONG: “On reduction of asynchronous systems”. Theoretical Comp. Science, 5, 1977, pp. 25–50.Google Scholar
  16. [KWO79]
    Y.S. KWONG: “On the absence of livelocks in parallel programs”, in Springer Lecture notes in Computer science no 70, Semantics of concurrent computation, July 1979, pp. 172–190.Google Scholar
  17. [LAM76]
    A. van LAMSWEERDE and M. SINTZOFF: “Formal derivation of strongly correct parallel programs”. MBLE Research Lab., report R338, October 1976, and Acta Informatica 12, fasc. 1, 1979, pp. 1–31.Google Scholar
  18. [PAR69]
    D. PARK: “Fixpoint induction and proofs of program properties” in Machine Intelligence 5, 1969, pp. 59–78.Google Scholar
  19. [ROE76]
    W.P. de ROEVER: “Dijkstra's predicate transformer, non determinism, recursion and termination”. Springer Lecture notes in Computer science no 45, MFCS, 1976, pp. 472–481.Google Scholar
  20. [ROS76]
    B.K. ROSEN: “Correctness of parallel programs: the Church-Rosser approach”. Theoretical Comp. Science, 2, 1976, pp. 183–207.Google Scholar
  21. [SIF79]
    J. SIFAKIS: “A unified approach for studying the properties of transition systems”. IMAG, report RR 179, December 1979.Google Scholar
  22. [SIF80]
    J. SIFAKIS: “Deadlocks and livelocks in transition systems”. IMAG, report RR 185, January 1980.Google Scholar
  23. [TAR55]
    A. TARSKI: “A lattice-theoretical fixpoint theorem and its applications”. Pacific Journal of Mathematics, 5, 1955, pp. 285–309.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Joseph Sifakis
    • 1
  1. 1.Laboratoire IMAGGrenoble CedexFrance

Personalised recommendations