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

Hong Liu, Raymond E. Miller

Browse the full ICNP paper archive.