摘要
本文讨论的两个案例表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有很大应用潜力。
Two case studies given in this paper indicate that CCS(a Calculus forCommunicating Systems)has a strong application potential in protocol description andverification.
出处
《计算机工程与科学》
CSCD
1994年第3期51-56,共6页
Computer Engineering & Science
