容错的网络声明式程序

作者：汪芳; StephaneGRUMBACH

来源：软件学报, 2012, (08): 1992-2001.

• 网络编程抽象
• 声明式语言
• 语法
• 语义
• 容错性 network programming abstraction
• declarative language
• syntax
• semantics
• fault tolerance

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

• 单位
  中国科学院; 计算机科学国家重点实验室; 中国科学院软件研究所; 中国联合网络通信集团有限公司