Hong Liu
Affiliations:- University of Maryland at College Park, Department of Computer Science, MD, USA
According to our database1,
Hong Liu
authored at least 8 papers
between 1994 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
IEEE/ACM Trans. Netw., 1996
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.
Proceedings of the 1996 International Conference on Network Protocols, 1996
Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
1995
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions.
Proceedings of the 1995 International Conference on Network Protocols, 1995
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995
1994
Generalized fair reachability analysis for cyclic protocols: part 1.
Proceedings of the Protocol Specification, 1994
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems.
Proceedings of the 1994 International Conference on Network Protocols, 1994