文章基本信息

标题：Rank Predicates vs. Progress Measures in Concurrent-Program Verification
本地全文：下载
作者：Moshe Y. Vardi
期刊名称：Chicago Journal of Theoretical Computer Science
印刷版ISSN：1073-0486
出版年度：1996
卷号：1996
出版社：MIT Press ; University of Chicago, Department of Computer Science
摘要：
This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.