博士论文答辩
本文档由 猪圆润 分享于2008-11-09 02:02
博士生:管旭东 导师:尤晋元 上海交大计算机科学与工程系 分布计算技术中心 2002 . 6 博士论文答辩 内容提要 1. 论文的背景 2. 灰箱演算,研究ROAM的原因 3. 演化类型系统 4. ROAM的进程等价性 5. 演算的翻译及证明 6. 总结论文...
下载文档
收藏
打印
君，已阅读到文档的结尾了呢~~