This project is supported by the National 973 Fundamental Research Program of China under Grant No.G1998030404 (国家重点基础研究发展规划项目) and the National Natural Science Foundation of China under Grant No.69833030 (国家自然科学基金).
王栩,黄涛,冯玉琳.一种基于分布式资源域理论的形式化语言.软件学报,2001,12(4):499-511
复制