Construction of Deadlock-free Designs of Communication Protocols from Observation.

Xiao Jun Chen Hasan Ural

Published in: Comput. J. (2002)

Keyphrases

communication protocols
deadlock free
communication protocol
communication networks
concurrency control
protocol specification
data collection
routing algorithm