Sijian Zhang, Samuel T. Chanson. An approach to evaluating the performance of communication protocols based on formal specifications. In 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings. pages 358-366, IEEE, 1993. [doi]
Abstract is missing.