A Process Algebra for Wireless Mesh Networks.
Ansgar FehnkerRob J. van GlabbeekPeter HöfnerAnnabelle McIverMarius PortmannWee Lum TanPublished in: ESOP (2012)
Keyphrases
- process algebra
- wireless mesh networks
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- wireless networks
- channel assignment
- communication protocols
- ad hoc networks
- mesh network
- petri net
- multi channel
- routing algorithm
- distributed systems
- temporal logic
- power supply
- network topology
- routing protocol
- multi hop
- web service composition
- web services
- quality of service
- response time
- reverse engineering
- highly reliable
- service selection
- security protocols
- cellular networks
- real time
- knowledge based systems
- expert systems
- artificial intelligence