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

Browse the full ICNP paper archive.