Hong Liu, Raymond E. Miller. Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. In 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings. pages 100-107, IEEE, 1994. [doi]
Abstract is missing.