Fairness and the axioms of control predicates

@article{Francez1987FairnessAT,
  title={Fairness and the axioms of control predicates},
  author={Nissim Francez and Shmuel Katz},
  journal={International Journal of Parallel Programming},
  year={1987},
  volume={16},
  pages={263-278}
}
Many recent axiomatic definitions for structured programming languages include control predicates,at(S), in(S), andafter(S), which are an abstraction of location counters. The usual axioms identify control locations so as to imply that “no time” (i.e., no state transition) is needed to pass from the end of one statement to the next, and in particular from… CONTINUE READING