Stefan D. Bruda Selim G. Akl Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems. 312-313 2001 SPAA http://doi.acm.org/10.1145/378580.378721 db/conf/spaa/spaa2001.html#BrudaA01