Impartiality, justice and fairness: The ethics of concurrent termination

  • D. Lehmann
  • A. Pnueli
  • J. Stavi
Session 8: Z. Manna, Chairman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 115)


The method of well founded structures for proving termination of programs is extended to concurrent programs. The more complicated case is when a program terminates only for fair executions. Different versions of fairness are introduced: Impartiality, Fairness and Justice, and Methods for proving their termination are presented.


Ranking Function Terminal State Critical Section Execution Sequence Computation Path 
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.


  1. [F]
    Floyd, R.W. — Assigning meaning to programs, in J.T. Schwartz (ed.) — Mathematical aspects of computer science, Proc. Symp. in Appl. Math. 19,A.M.S. 1967, 19–32.Google Scholar
  2. [K]
    Keller, R.M. — Formal Verification of Parallel Programs, CACM 19 (7) 1976.Google Scholar
  3. [L]
    Lamport, L. — Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, 3 (2) 1977, 125–143.Google Scholar
  4. [MP1]
    Manna, Z., Pnueli, A. — The Temporal Logic of Programs — A manuscript, 1980.Google Scholar
  5. [MP2]
    Manna, Z., Pnueli, A. — Temporal Verification of Concurrent Programs, the Nontemporal Alternative, Workshop on Program Logics, Yorktown Heights, May 1981.Google Scholar
  6. [OG1]
    Owicki, S., Gries, D. — An Axiomatic Proof Technique for Parallel Programs, Acta information 5, 319–339.Google Scholar
  7. [OG2]
    Owicki, S., Gries, D. — Verifying Properties of Parallel Programs: An Axiomatic Approach, CACM 19(5) 1976, 279–286.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • D. Lehmann
    • 1
  • A. Pnueli
    • 2
  • J. Stavi
    • 3
  1. 1.Hebrew UniversityJerusalemIsrael
  2. 2.Weizmann InstituteRehovotIsrael
  3. 3.Bar Ilan UniversityRamat GanIsrael

Personalised recommendations