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]

Authors

David Lee

This author has not been identified. Look up 'David Lee' in Google

K. K. Ramakrishnan

This author has not been identified. Look up 'K. K. Ramakrishnan' in Google

W. Melody Moh

This author has not been identified. Look up 'W. Melody Moh' in Google

A. Udaya Shankar

This author has not been identified. Look up 'A. Udaya Shankar' in Google