Software Specification Description and Analysis of Instance Based on CCS

• 基于CCS的软件规范描述及实例研究