容错的网络声明式程序

doi:10.3724/SP.J.1001.2012.04168

微信服务号

微信订阅号

首页 > 过刊浏览>2012年第23卷第8期 >1992-2001. DOI:10.3724/SP.J.1001.2012.04168

PDF HTML阅读 XML下载导出引用引用提醒

容错的网络声明式程序
DOI:
                        10.3724/SP.J.1001.2012.04168
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:国家自然科学基金(60833001); French Agence Nationale de la Recherche (ANR-09-BLAN-0131-01)

Fault Tolerant Network Declarative Programs

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

介绍了基于递归规则的网络声明式语言Netlog 的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.

Abstract:

This paper introduces the syntax and the distributed fixpoint semantics of a rule-based declarative language, Netlog. The strongly well-behaved programs were defined, which were proven insensitive to bounded message loss.

参考文献

相似文献

引证文献

引用本文

汪芳,Stéphane GRUMBACH.容错的网络声明式程序.软件学报,2012,23(8):1992-2001

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2010-09-30
最后修改日期:2011-01-26
录用日期:
在线发布日期: 2012-08-07
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史