论文部分内容阅读
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
容错的网络声明式程序
【摘 要】
：
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
【机 构】
：
中国联合网络通信集团有限公司研究院,北京 100048;中国科学院软件研究所计算机科学国家重点实验室,北京 100190;中国科学院研究生院,北京 100049;Institut National d
【出 处】
：
软件学报
【发表日期】
：
2012年8期
其他文献
要了解幅员辽阔、充满活力的美国,没有比自驾更好的方式了。系紧安全带,加满油箱,踏上我们私家设计的7条充满人文色彩的自驾线路,带你在路上感受浓缩的美国历史文化。1东海岸
自Intel推出ATX电源规范后,为了满足PC硬件供电需求,ATX规范经历了多次升级,从+5.5/+3.3V供电转为+12V供电,从4Pin/20Pin转为6Pin/24Pin供电输出,都要归根于硬件功耗的提升,
通过新课程的教学实践，发现新课程更加注重学生素质的培养，三维目标的呈现。根据这一特点平时按实验要求把实验分为“演示实验、学生实验、探究实验、设计实验”进行实验教学。
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
由于国内经济发展不断加速,促进了城市化进程的不断推进,而作为城市化发展的典型代表就是市政园林工程的建设,它的好坏直接影响到城市化的整体布局,城市文化内涵的宣传,城市
自4月2日开始,由朝阳区园林绿化局和朝阳区亚运村街道办事处主办,元大都公园承办的第十八届海棠花节拉开序幕,本次海棠花节以“海棠增秀美和谐在花溪”为主题。元大都公园和
又是一年新荷香,又是一堂掌声响。一年一度的中央党校省部级干部进修班开学典礼,是中央领导同志发表讲话的重要场所。6月25日,中共中央总书记胡锦涛又在这里发表了重要讲话。
教学督导工作是各类学校教学质量监控体系中的重要组成部分,它是教学管理工作中不可缺少的环节,教学督导的范围和内容限于教学工作,其出发点和落脚点是提高教学质量.教学督导
电力企业的自动化控制发展是电力行业发展的一个大趋势,而其中重要的电气传动系统智能控制的研究也是一种新型的电气传动系统的控制策略.智能控制是电气传动系统提高控制效率
研究了耐硫酸腐蚀钢中W含量对其腐蚀的影响,通过XRD、SEM和EDAX分析表面形貌及形成机理,解释了W含量增大对耐蚀性影响的原因。结果表明,随着W含量的增加,钢的耐硫酸腐蚀性明