%0 Journal Article
%T 并行程序的流程图分析法*
%A 马军？
%A 马绍汉？
%J 软件学报
%P 182-186
%D 1995
%X 本文给出一种对ada并行程序的流程图分析法．该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出并行程序中存在的死锁，并能启发如何消除死锁．并行流程图在检查死锁的方便性、消除死锁的启发性、实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的petri网分析法。
%K 词程序正确性验正
%K 并行程序设计
%K 并行程序静态分析．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1995s125&flag=1