Login / Signup

Process algebra to model self-organizing behavior in Wireless Sensor Networks.

Dalimir OrfanusTales HeimfarthFlávio Rech Wagner
Published in: ICUMT (2009)
Keyphrases
  • wireless sensor networks
  • process algebra
  • concurrent systems
  • artificial intelligence
  • social networks
  • web services
  • high level
  • model checking
  • temporal logic
  • regular expressions