Flow theory: Verification of rate-reservation protocols.

Jorge Arturo Cobb Mohamed G. Gouda

Published in: ICNP (1993)

Keyphrases

theoretical basis
false acceptance rate
neural network
theoretical framework
formal analysis
asynchronous circuits
artificial intelligence
case study
multi agent
information theory
multi party
formal methods
cryptographic protocols
protocol specification