RANK PREDICATES VS PROGRESS MEASURES IN CONCURRENT-PROGRAM VERIFICATION

Authors
VARDI MY
Citation
My. Vardi, RANK PREDICATES VS PROGRESS MEASURES IN CONCURRENT-PROGRAM VERIFICATION, Chicago journal of theoretical computer science, (1), 1996, pp. 1-8
Citations number
14
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Chicago journal of theoretical computer science → ACNP
ISSN journal
10730486
Issue
1
Year of publication
1996
Pages
1 - 8
Database
ISI
SICI code
1073-0486(1996):1<1:RPVPMI>2.0.ZU;2-6
Abstract
This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.