Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. - Hong Liu 004; Raymond E. Miller (ICNP, 1994)

Generalized fair reachability analysis for cyclic protocols: part 1. - Hong Liu 004; Raymond E. Miller (PSTV, 1994)

Reachability Problems for Cyclic Protocols. - Hong Liu 004; Raymond E. Miller (ICCCN, 1995)

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. - Hong Liu 004; Raymond E. Miller (ICNP, 1995)

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). - Hong Liu 004; Raymond E. Miller; Hans van der Schoot; Hasan Ural (ICDCS, 1996)

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. - Hong Liu 004; Raymond E. Miller (ICNP, 1996)

An approach to cyclic protocol validation. - Hong Liu 004; Raymond E. Miller (Comput. Commun., 1996)

Generalized fair reachability analysis for cyclic protocols. - Hong Liu 004; Raymond E. Miller (IEEE/ACM Trans. Netw., 1996)