A Process Algebra for Link Layer Protocols.
Rob van GlabbeekPeter HöfnerMichael MarklPublished in: ESOP (2019)
Keyphrases
- process algebra
- link layer
- communication protocols
- wireless networks
- concurrent systems
- model checking
- formal specification
- physical layer
- communication protocol
- asynchronous circuits
- formal methods
- web services composition
- cross layer
- network layer
- temporal logic
- communication networks
- base station
- network architecture
- multimedia services
- wireless communication
- mac layer