当前位置:首页 > 文章导读 > 自然科学版

一种有效的分布式构件交互性质验证方法
杨 琛,房鼎益,陈晓江
(西北大学 信息科学与技术学院,陕西 西安 710127)
 全文: PDF  
摘要:

关键词: 分布式系统;构件交互;π?演算;标记转移系统;活性;安全性?
发表年限: 2007年
发表期号: 第3期