基于π演算的软件体系结构形式化研究

【作者】 任洪敏

【导师】 钱乐秋;

【作者基本信息】 复旦大学 , 计算机软件与理论, 2003, 博士