一种有效的分布式构件交互性质验证方法 杨 琛,房鼎益,陈晓江 (西北大学 信息科学与技术学院,陕西 西安 710127)  全文: PDF   摘要： 关键词： 分布式系统；构件交互；π?演算；标记转移系统；活性；安全性? 发表年限: 2007年 发表期号: 第3期