A Process Algebra for Wireless Mesh Networks.
Ansgar FehnkerRob J. van GlabbeekPeter HöfnerAnnabelle McIverMarius PortmannWee Lum TanPublished in: CoRR (2015)
Keyphrases
- process algebra
- wireless mesh networks
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- wireless networks
- web services composition
- communication protocols
- channel assignment
- ad hoc networks
- multi channel
- power supply
- temporal logic
- petri net
- routing protocol
- network topology
- mesh network
- routing algorithm
- distributed systems
- security protocols
- programming environment
- cognitive radio
- multi hop
- wifi
- web service composition
- reverse engineering
- quality of service
- web services