Login / Signup

Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.

Hao WangDavid I. LaurensonJane Hillston
Published in: ICC (2008)
Keyphrases
  • process algebra
  • formal specification
  • asynchronous circuits
  • model checking
  • mobile agents
  • concurrent systems