Chicago Journal of Theoretical Computer Science

Volume 1996

Article 1

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.

Rank Predicates vs. Progress Measures in Concurrent-Program Verification

Moshe Y. Vardi (Rice University)
9 February 1996

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

DOI: 10.4086/cjtcs.1996.001
[] Volume 1995, Article 4 [] Article 2
[back] Volume 1996 [back] Published articles
[CJCTS home]

Last modified: 24 March 1997