Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme

David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar. Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. In 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA. pages 208-217, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.