一种大规模并行程序模型的检测方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一种大规模并行程序模型的检测方法

杨明远;罗贵明

Checking Method of Large-scale Concurrent Program Model

YANG Ming-yuan; LUO Gui-ming

计算机工程 . 2008, (13): 72 -74 . DOI: 10.3969/j.issn.1000-3428.2008.13.027