论文部分内容阅读
给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.
并行面向对象语言的Action演算语义
【摘 要】
：
给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.
【机 构】
：
吉林大学计算机科学与技术学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2002年4期
【基金项目】
：
国家自然科学基金
其他文献
目的探讨腹膜后自体脾移植在严重脾外伤保脾手术中应用的可行性及价值。方法采用前瞻性病例对照研究，将66例严重脾外伤病人分为腹膜后自体脾移植组例、大网膜自体脾移植组，其中
利用Shim-Pack阳离子色谱柱分离了Fe2+,Mn2+,Zn2+,Ca2+,Mg2+和Cd2+等金属阳离子,优化了色谱分析条件,建立了离子色谱(IC)分离、测定二价锰离子的方法,结果表明,测试的相对标
将反相乳液合成方法与水热处理方法相结合，获得Y2O3：Er，Yb纳米晶的前驱体，经过一定温度灼烧，获得了高发光强度的上转换Y2O3：Er，Yb纳米晶，经水热处理的纳米晶样品具有更好的晶体结构，有
目的探讨经皮肝胆囊穿刺引流联合腹腔镜胆囊切除治疗急性化脓性胆囊炎的疗效。方法回顾性分析我院及佛山市第一人民医院2009年1月至2012年12月82例急性化脓性胆囊炎先行经皮
提出一种基于平面拼装方法解决Ad Hoc网络抗毁性及其信道分配问题．在1000×1000单位区域内用若干个半径均为100的圆构建Ad Hoc网络，当相交部分不小于5％时，得到与6个圆的正六
目的探讨经后腹腔镜解剖性肾上腺肿瘤切除术的手术方法和临床疗效。方法回顾性分析2010～2013年住院手术治疗的38例肾上腺肿瘤患者的临床资料。按既定的手术步骤施行后腹腔镜解
目的 探讨内置硅胶支撑管引流胆汁在上段胆管癌晚期患者姑息性手术治疗的效果.方法 回顾性分析我院2005年1月至2010年12月期间收治的65例上段胆管癌晚期患者的临床资料,按照