Four Formal Models of IEEE 1394 Link Layer.

Hubert Garavel Bas Luttik

Published in: MARS@ETAPS (2024)

Keyphrases

link layer
formal models
wireless networks
physical layer
process model
rule based systems
formal model
network layer
cross layer
mac layer
wireless communication
wifi
ad hoc networks
multi hop
neural network
mac protocol
application layer
cellular networks
video streaming
multi channel