A Process Algebra for Link Layer Protocols.
Rob van GlabbeekPeter HöfnerMichael MarklPublished in: CoRR (2019)
Keyphrases
- process algebra
- communication protocols
- link layer
- wireless networks
- concurrent systems
- physical layer
- communication protocol
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- network layer
- cross layer
- temporal logic
- petri net
- bit errors
- mac layer
- wifi
- artificial intelligence
- wireless communication
- communication networks
- ip networks
- video streaming
- ad hoc networks
- end to end
- wireless sensor networks