Last update: Sun Jul 23 02:00:24 MDT 2017
@Article{Vardi:1996:RPV, author = "Moshe Y. Vardi", title = "Rank Predicates vs. Progress Measures in Concurrent-Program Verification", journal = j-CHIC-J-THEOR-COMPUT-SCI, day = "9", month = feb, year = "1996", ISSN = "1073-0486", bibdate = "Wed Jan 27 07:16:05 1999", bibsource = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/1/contents.html", acknowledgement = ack-nhfb, }