并发系统的安全性与活性的验证方法
李 杨 1,程建华 2,房鼎益 1,陈晓江 1,冯 健 1
Verification of safety and liveness property based on concurrent system
LI Yang 1,CHENG Jian-hua 2,FANG Ding-yi 1,CHEN Xiao-jiang 1,FENG Jian 1
计算机工程与应用 . 2008, (4): 107 -110 . 

京ICP备13024262号-1
Copyright © 《计算机工程与应用》编辑部
技术支持：北京玛格泰克科技发展有限公司
总访问量
今日访问
在线人数