四川大学学报（自然科学版）2008，Vol.45Issue(3)：503-506,4.
一种基于语法扩展的自动互斥锁实现机制
Implementation of grammar extemsion based automatic mutex
摘要
关键词
语法扩展/互斥锁/临界资源/有限自动机/死锁检测分类
信息技术与安全科学引用本文复制引用
陶毅,杨红雨,胡术..一种基于语法扩展的自动互斥锁实现机制[J].四川大学学报（自然科学版）,2008,45(3):503-506,4.基金项目
国家重大技术装备创新项目(2002-565-6) （2002-565-6）
