Hong Liu, Raymond E. Miller. Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. In 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA. pages 76-83, IEEE Computer Society, 1996. [doi]
Abstract is missing.