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

Sijian Zhang Samuel T. Chanson

Published in: ICNP (1993)

Keyphrases

communication protocols
protocol specification
formal specification
process algebra
communication protocol
communication networks
model checking
specification languages
object oriented design
web services
specification language
peer to peer