Login / Signup
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.
Hao Wang
David I. Laurenson
Jane Hillston
Published in:
ICC (2008)
Keyphrases
</>
process algebra
formal specification
asynchronous circuits
model checking
mobile agents
concurrent systems