Generalized fair reachability analysis for cyclic protocols: part 1

Hong Liu, Raymond E. Miller. Generalized fair reachability analysis for cyclic protocols: part 1. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 271-286, Chapman & Hall, 1994.

Abstract

Abstract is missing.