Hong Liu

According to our database, Hong Liu authored at least 8 papers between 1994 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1996

Generalized fair reachability analysis for cyclic protocols.

Hong Liu, Raymond E. Miller

IEEE/ACM Trans. Netw., 1996

An approach to cyclic protocol validation.

Hong Liu, Raymond E. Miller

Comput. Commun., 1996

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.

Hong Liu, Raymond E. Miller

Proceedings of the 1996 International Conference on Network Protocols, 1996

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).

Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

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

Hong Liu, Raymond E. Miller

Proceedings of the 1995 International Conference on Network Protocols, 1995

Reachability Problems for Cyclic Protocols.

Hong Liu, Raymond E. Miller

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994

Generalized fair reachability analysis for cyclic protocols: part 1.

Hong Liu, Raymond E. Miller

Proceedings of the Protocol Specification, 1994

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

Hong Liu, Raymond E. Miller

Proceedings of the 1994 International Conference on Network Protocols, 1994