论文部分内容阅读
移动工作台MWB(Mobility Workbench)是为π-演算开发的一个自动验证工具,可对用π-演算、通信系统演算(CCS)等描述的移动并发系统进行分析与验证;首先扼要叙述CCS的基本概念,然后介绍MWB在Windows下的应用情况,最后以著名的交换比特协议(ABP)为例说明用MWB分析CCS进程的方法。
Mobility Workbench MWB (Mobility Workbench) is an automated verification tool developed for π-calculus that analyzes and validates mobile concurrent systems described in π-calculus, Communication System Calculus (CCS), etc. First, a brief description of basic CCS Concept, and then introduces the application of MWB in Windows. Finally, the famous exchange bit protocol (ABP) is used as an example to explain how to analyze CCS process with MWB.