A methodology for protocol design and specification based on an extended state transition model
- 1 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 14 (2) , 34-41
- https://doi.org/10.1145/639624.802057