GONG Zhenghu. On the Application of CCS to Protocol Descriptions and Protocol VerificationsJ. Journal of Computer Research and Development, 1995, 32(3).
Citation:
GONG Zhenghu. On the Application of CCS to Protocol Descriptions and Protocol VerificationsJ. Journal of Computer Research and Development, 1995, 32(3).
GONG Zhenghu. On the Application of CCS to Protocol Descriptions and Protocol VerificationsJ. Journal of Computer Research and Development, 1995, 32(3).
Citation:
GONG Zhenghu. On the Application of CCS to Protocol Descriptions and Protocol VerificationsJ. Journal of Computer Research and Development, 1995, 32(3).
On the Application of CCS to Protocol Descriptions and Protocol Verifications
The method to apply CCS （a Calculus for Communicating System） to protocol descriptions and protocol verifications is discussed in this paper. Two cases given in the paper show that CCS has a great potential application in the protocol engineering.
DownLoad: