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.
This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.
Last modified: 24 March 1997