An approach to evaluating the performance of communication protocols based on formal specifications.

Sijian Zhang, Samuel T. Chanson

Browse the full ICNP paper archive.