Generalized fair reachability analysis for cyclic protocols: part 1

Authors:
Hong Liu;Raymond E. Miller
Affiliations:
-;-
Venue:
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Year:
1995

On generalizing fair reachability analysis to protocols with arbitrary topology

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Generalized fair reachability analysis for cyclic protocols

IEEE/ACM Transactions on Networking (TON)
Reachability Problems for Cyclic Protocols

ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Research: Protocol validation by simultaneous reachability analysis

Computer Communications

Hi-index	0.00