下载此文档

和代数性质研究博士生管旭东导师尤晋元上海交大计算.ppt


文档分类:高等教育 | 页数:约40页 举报非法文档有奖
1/40
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/40 下载此文档
文档列表 文档介绍
鲁棒灰箱演算的类型系统 和代数性质研究 博士生:管旭东 导师:尤晋元 上海交大计算机科学与工程系 分布计算技术中心 --,.-62博士论文答辩-鲁棒灰箱演算论文的背景移动计算硬件移动、软件移动网络的广域化、全球化从技术到理论支持从程序设计理论(programminglanguagetheory)角度寻求支持并发(concurrency)、分布(distribution)、移动(mobility)S,CSP,,,join,ambient,seal,...)目标:作为支持全球性移动计算编程语言的理论基础2002-63博士论文答辩-鲁棒灰箱演算相关研究领域本论文有关灰箱演算(ambientcalculus)的研究工作,属于:程序设计理论(并发、分布、移动)进程代数相关研究领域:OS(distributed/mobile):OSsupportforJavaandmobileagenttechnologyTCS:typetheoryandsemanticsSecurity-work,softwaremobility2002-64博士论文答辩-鲁棒灰箱演算灰箱演算的相关工作支持分布、移动的形式化模型,除了Ambient,还有:dist:Sekiguchi,.,1997,:Henessey,.,1998,1l:Amadio,1997Distributed-:Sewell,1998,CambridgeD-join:,.,1996,INRIASeal:Vitek,,1999,...2002-65博士论文答辩-,-66博士论文答辩-鲁棒灰箱演算MA在提出后迅速成为研究热点Cardelli&Gordon:“MobileAmbients”DigitalResearch=>MicrosoftResearch会议:FoSSaCS’98期刊:puterScience,2000后续研究:Ambient有关的研究论文:50多篇FoSSaCS’98的引用数:200左右(./,2002-05)(SCI引用数:50左右)欧盟:2002启动FET--67博士论文答辩-鲁棒灰箱演算MA用三个原语来描述移动计算cs[mail[]]|lib[openmail]-68博士论文答辩--69博士论文答辩--610博士论文答辩-鲁棒灰箱演算

和代数性质研究博士生管旭东导师尤晋元上海交大计算 来自淘豆网www.taodocs.com转载请标明出处.

非法内容举报中心
文档信息
  • 页数40
  • 收藏数0 收藏
  • 顶次数0
  • 上传人阳仔仔
  • 文件大小254 KB
  • 时间2020-07-01