Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems.

Hong Liu, Raymond E. Miller

Browse the full ICNP paper archive.