Published by MIT Press. Copyright 1996 Massachusetts Institute of Technology.

Your institution may already be a subscriber to CJTCS. If not, please subscribe for legitimate access to all journal articles.

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

DOI: 10.4086/cjtcs.1996.001

---

Volume 1995, Article 4 Article 2
Volume 1996 Published articles

Last modified: 24 March 1997