An approach to improve process algebra based protocol composition model | IEEE Conference Publication | IEEE Xplore