Advertisement

Logic of Programs 1981: Logics of Programs pp 113-121 | Cite as

A formalism for reasoning about fair termination

extended abstract
  • Willem P. de Roever
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 131)

Abstract

Fair termination can be expressed, hence reasoned about, in Park's monotone μ-calculus, and the fair weakest precondition operator for boolean guarded do-loops is expressed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [Apt & Plotkin]: A Cook's tour of countable nondeterminism, proc. ICALP VIII, LNCS 115, 1981.Google Scholar
  2. [de Bakker]: Mathematical Foundations of Program Correctness, Prentice-Hall, 1980.Google Scholar
  3. [de Bakker & de Roever]: A calculus for recursive program schemes, proc. ICALP I, North-Holland, 1973.Google Scholar
  4. [Floyd]: Assigning meaning to programs, J.T. Schwartz (ed.), Math. Aspects of Computer Science, 1967.Google Scholar
  5. [Francez & Pnueli]: A proof method for cyclic programs, Acta Informatica 9, 1978.Google Scholar
  6. [Grümberg, Francez, Makowski & de Roever]: A proof rule for fair termination of guarded commands, Proc. Symposium on Algorithmic Languages, Amsterdam, 1981, North-Holland.Google Scholar
  7. [Hitchcock & Park]: Induction rules and termination, proc. ICALP I, North-Holland, 1973.Google Scholar
  8. [Lamport]: Proving the correctness of multiprocess programs, IEEE-TSE 3, 2, 1977.Google Scholar
  9. [Lamport & Owicki]: Proving liveness properties of concurrent programs, SRI-TR, 1980.Google Scholar
  10. [Park 80]: On the semantics of fair parallellism, LNCS 86, 1980.Google Scholar
  11. [Park 81]: A predicate transformer for weak fair iteration, proc. 6th IBM Symposium on Math. Found. of Computer Science, Hakone, Japan, 1981.Google Scholar
  12. [Pnueli]: The temporal semantics of concurrent programs, TCS, 13, 1, 1981.Google Scholar
  13. [Pnueli, Stavi & Lehmann]: Impartiality, Justice and Fairness: The Ethics of Concurrent Termination, proc. ICALP VIII, LNCS 115, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Willem P. de Roever
    • 1
  1. 1.University of UtrechtThe Netherlands

Personalised recommendations