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.


[] Volume 1995, Article 4 [] Article 2
[back] Volume 1996 [back] Published articles
[CJCTS home]

Last modified: 24 March 1997