A Timed Process Algebra for Wireless Networks.
Emile BresRob J. van GlabbeekPeter HöfnerPublished in: CoRR (2016)
Keyphrases
- wireless networks
- process algebra
- petri net
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- formal methods
- web services composition
- wireless communication
- communication protocols
- ad hoc networks
- base station
- web service composition
- low bandwidth
- mobile computing
- mobile networks
- wifi
- cellular networks
- wired networks
- multimedia services
- wireless technologies
- temporal logic
- network coding
- distributed systems
- artificial intelligence
- service composition
- software engineering
- cooperative
- video delivery