An approach to improve process algebra based protocol composition model
Xiaoming Tian, Qiuxin Wu · 2012
On basis of analyzing a CSP based protocol composition model, we make the improvement from basic components, combined component interaction rules, responder process, and add in responder interactive process and data receiving process, in order to make this model more completeness.