Closed Covers: to Verify Progress for Communicating Finite State Machines

Authors:
Mohamed G. Gouda
Affiliations:
-
Venue:
Closed Covers: to Verify Progress for Communicating Finite State Machines
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
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