Protocol Validation by Maximal Progress State Exploration

Authors:
Mohamed G. Gouda;Y. T. Yu
Affiliations:
-;-
Venue:
Protocol Validation by Maximal Progress State Exploration
Year:
1982

Citing 0
Cited 2

An exercise in constructing multi-phase communication protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Maximal progress state exploration

SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols

Quantified Score

Hi-index	0.00

Visualization

Abstract