Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions.

Hong Liu, Raymond E. Miller

Browse the full ICNP paper archive.