Modeling physical layer protocols using communicating finite state machines.

Mohamed G. Gouda Khe-Sing The

Published in: SIGCOMM (1985)

Keyphrases

finite state machines
physical layer
communication protocol
finite state automata
model checking
application layer
video sequences
hidden markov models
response time
power system
end to end
wireless communication
resource utilization