Login / Signup

Modelling Network Performance with a Spatial Stochastic Process Algebra.

Vashti Galpin
Published in: AINA (2009)
Keyphrases
  • process algebra
  • computer networks
  • model checking
  • spatial data
  • communication networks
  • asynchronous circuits
  • network traffic
  • formal specification