CJTCS Volume 1996 Article 1

Rank Predicates vs. Progress Measures in Concurrent-Program Verification

Moshe Y. Vardi ( Rice University ) 9 February 1996

Abstract

This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.

• Preformatted versions of the article
  • DVI (29,816 bytes)
  • PostScript (181,105 bytes)
  • PDF (162,967 bytes)
  • Audio by AsTeR (to appear)
• Source materials for custom formatting
  • LaTeX ( cj96-01.tex , 21,422 bytes)
  • BIBTeX ( cj96-01.bib , 5,310 bytes)
  • Parameter settings for custom formatting ( cjropts.tex , 116 bytes)
  • Self citation in BIBTeX (287 bytes)
• Online discussion
• Instructions for Readers

---

Volume 1995, Article 4 Article 2
Volume 1996 Published articles

Last modified: 24 March 1997