计算机工程2009，Vol.35Issue(4)：4-6,3.
非经典切片优化的同步运行时检验方法
Non-classical Slicing Optimization Runtime Verification Approach for Synchronization
摘要
关键词
非经典切片/计算切片/全局异步局部同步系统/谓词检测/偏序迹分类
自科综合引用本文复制引用
高新岩,吴尽昭,乔瑞,闫炜..非经典切片优化的同步运行时检验方法[J].计算机工程,2009,35(4):4-6,3.基金项目
国家自然科学基金资助项目(60373113) （60373113）
国家"973"计划基金资助项目(2004CB318000) （2004CB318000）
