Linking Operational Semantics and Algebraic Semantics for Wireless Networks.
Xiaofeng WuHuibiao ZhuPublished in: ICFEM (2013)
Keyphrases
- operational semantics
- wireless networks
- formal semantics
- model theoretic
- wireless communication
- denotational semantics
- declarative semantics
- ad hoc networks
- mental states
- low bandwidth
- mobile computing
- data model
- cellular networks
- activity diagrams
- mobile networks
- wired networks
- medium access control
- speech acts
- network coding
- wireless ad hoc networks
- artificial intelligence
- multimedia services
- agent programming
- database
- logic programs
- databases