| 
|
Quote: progress assertions are of the form 'P leads-to Q' where P and Q are predicates; no time bound is implied, but holds when system at rest
topics >
all references >
references sa-sz >
Topic:
safety, liveness, and system properties
Quotation Skeleton
To reason assertionally about progress, we consider assertions … It means that if at some instant the … No a priori time bound is implied, but … at "rest," i.e., no process is at an … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)