作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于Petri网并行程序通信死锁的检测和预防
崔焕庆;刘 强
Detection and Prevention of Communication Deadlock for Parallel Programs Based on Petri Net
CUI Huan-qing; LIU Qiang
计算机工程 . 2008, (23): 50 -52 .  DOI: 10.3969/j.issn.1000-3428.2008.23.019