Protocol Specifications and Component Adaptors.

Daniel M. Yellin Robert E. Strom

Published in: ACM Trans. Program. Lang. Syst. (1997)

Keyphrases

protocol specification
lightweight
state machines
software components
model checker
delay insensitive
data sets
digital libraries
formal analysis
communication protocol
network protocols