On Deciding Progress for a Class of Communication Protocols

Authors:
Louis E. Rosier;Mohamed G. Gouda
Affiliations:
-;-
Venue:
On Deciding Progress for a Class of Communication Protocols
Year:
1983

Citing 0
Cited 1

A technique for proving liveness of communicating finite state machines with examples

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	0.00

Visualization

Abstract