Applying a new decomposition method to verify communication protocols.

Richard Lai Xiaobo Li

Published in: J. Syst. Softw. (1998)

Keyphrases

decomposition method
communication protocols
decomposition algorithm
decomposition methods
tree decomposition
communication networks
communication protocol
computer simulation
web services
lower bound
protocol specification