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]
@inproceedings{LeeRMS96,
title = {Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme},
author = {David Lee and K. K. Ramakrishnan and W. Melody Moh and A. Udaya Shankar},
year = {1996},
doi = {10.1109/ICNP.1996.564943},
url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1996.564943},
tags = {case study, protocol},
researchr = {https://researchr.org/publication/LeeRMS96},
cites = {0},
citedby = {0},
pages = {208-217},
booktitle = {1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA},
publisher = {IEEE Computer Society},
}