Throughput efficiency of an enhanced link management procedure
- 1 September 1994
- journal article
- Published by Elsevier in Computer Communications
- Vol. 17 (9) , 626-636
- https://doi.org/10.1016/0140-3664(94)90089-2
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Reliable link initialization proceduresIEEE Transactions on Communications, 1988
- Protocol verification using reachability analysis: the state space explosion problem and relief strategiesACM SIGCOMM Computer Communication Review, 1987
- A Theory for Protocol ValidationIEEE Transactions on Computers, 1982
- Verification of HDLCIEEE Transactions on Communications, 1982