Third International Conference on Network Protocols (ICNP'95)
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions
Tokyo, Japan
November 07-November 10
ISBN: 0-8186-7216-1
Hong Liu, Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
R.E. Miller, Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
In this paper, we extend the generalized fair reachability notion to cyclic protocols with nondeterministic and internal transitions. By properly incorporating internal transitions into the formulation of fair progress vectors, we prove that with only a few modifications, all the results established for cyclic protocols without nondeterministic and internal transitions still hold even if nondeterministic and internal transitions are allowed. We identify indefiniteness as a new type of logical error resulting from reachable internal execution cycles and show that it can also be detected for the class of cyclic protocols with finite fair reachable state spaces with finite extension
Index Terms:
reachability analysis; protocols; performance evaluation; fair reachability analysis; cyclic protocols; nondeterministic; internal transitions; indefiniteness; internal execution cycles; finite fair reachable state spaces; finite extension
Citation:
Hong Liu, R.E. Miller, "Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions," icnp, pp.6, Third International Conference on Network Protocols (ICNP'95), 1995
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb