「米尔纳」米尔纳穿过几号

际标准语言Lotos，而Lotos则已用于面向对象的ROOA方法中，用来描述面向对象需求定义中的抽象数据类型和进程定义。CCS本身虽然只有交叠式语义，但利用一些特殊的方法，如多层佩特里网方法，也可以建