10.3969/j.issn.1002-137X.2002.12.057
并发操作系统中基于有色Petri网的死锁检测与避免
操作系统、死锁检测、Concurrent Operating System、concurrent operating system、colored Petri net、necessary condition、distributed system、concurrent system
29
TP3(计算技术、计算机技术)
国家自然科学基金
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
190-192