A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).
Emile BresRob J. van GlabbeekPeter HöfnerPublished in: ESOP (2016)
Keyphrases
- extended abstract
- wireless networks
- process algebra
- petri net
- ad hoc networks
- concurrent systems
- wireless ad hoc networks
- mobile wireless
- formal specification
- cross layer optimization
- asynchronous circuits
- model checking
- wireless communication
- medium access control
- routing algorithm
- web services composition
- formal methods
- mobile nodes
- network infrastructure
- base station
- network topology
- communication protocols
- multi hop
- wifi
- wireless mesh networks
- mobile ad hoc networks
- routing protocol
- cross layer
- mobile networks
- temporal logic
- cellular networks
- multimedia services
- link layer
- cognitive radio
- network layer
- mac protocol
- web service composition
- relay nodes
- distributed systems
- highly reliable
- wireless technologies
- web services
- routing problem
- shortest path