Login / Signup

An operational semantics for a calculus for wireless systems.

Ivan LaneseDavide Sangiorgi
Published in: Theor. Comput. Sci. (2010)
Keyphrases
  • operational semantics
  • wireless systems
  • formal semantics
  • wireless networks
  • wireless communication
  • wireless channels
  • wireless access
  • data model
  • multi user
  • mental states
  • cognitive radio