交談循序程式

【文件属性】：

文件名称：交談循序程式

文件大小：901KB

文件格式：PDF

更新时间：2014-10-20 12:53:06

CSP

用于对并行系统建模，并且可用于model checking