鲁棒灰箱演算的类型系统和代数性质研究博士生:管旭东导师:尤晋元上海交大计算机科学与工程系分布计算技术中心--,.-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转载请标明出处.