Xiaoming Tian, Qiuxin Wu. An approach to improve process algebra based protocol composition model. In 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, CCIS 2012, Hangzhou, China, October 30 - November 1, 2012. pages 666-669, IEEE, 2012. [doi]
Abstract is missing.