Reachability analysis of protocols with FIFO channels.

Son T. Vuong Donald D. Cowan

Published in: SIGCOMM (1983)

Keyphrases

reachability analysis
markov decision processes
model checking
incremental algorithms
state space
timed automata
multi channel
machine learning
high speed
temporal logic
heavy traffic
reinforcement learning
dynamic programming
communication channels
security protocols