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