A verified sliding window protocol with variable flow control
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Mechanical verification of a data transport protocol
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Packet communication of online speech
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Hi-index | 0.00 |