Hong Liu

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols. IEEE/ACM Trans. Netw. 4 (2) (1996)
Hong Liu, Raymond E. Miller
An approach to cyclic protocol validation. Comput. Commun. 19 (14) (1996)
Hong Liu, Raymond E. Miller
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. ICNP (1996)
Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural
Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). ICDCS (1996)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ICNP (1995)
Hong Liu, Raymond E. Miller
Reachability Problems for Cyclic Protocols. ICCCN (1995)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. ICNP (1994)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols: part 1. PSTV (1994)