Technical aspects of data communication (3rd ed.)
Technical aspects of data communication (3rd ed.)
Reliable host-to-host protocols: Problems and techniques
SIGCOMM '77 Proceedings of the fifth symposium on Data communications
Information processing systems-open systems interconnection-transport protocol specification
ACM SIGCOMM Computer Communication Review
Gaining efficiency in transport services by appropriate design and implementation choices
ACM Transactions on Computer Systems (TOCS)
A verified sliding window protocol with variable flow control
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Verified data transfer protocols with variable flow control
ACM Transactions on Computer Systems (TOCS)
Efficient at-most-once messages based on synchronized clocks
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Efficient at-most-once messages based on synchronized clocks
ACM Transactions on Computer Systems (TOCS)
The Request Reply Family of Group Routing Protocols
IEEE Transactions on Computers
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 0.01 |