Wireless protocol verification: a stochastic process algebraic framework (無線通信システム)