Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.

Steven Gordon Jonathan Billington

Published in: ICATPN (2000)

Keyphrases

coloured petri nets
formal verification
mobile phone
mobile users
mobile devices
wireless networks
concurrency control
model checking
cellular networks
mobile internet
locking protocol