Algebraic Specification-Based Performance Analysis of Communication Protocols.

Nihal Nounou Yechiam Yemini

Published in: PSTV (1984)

Keyphrases

communication protocols
protocol specification
process algebra
communication protocol
communication networks
formal specification
high level
data analysis
formal methods