%0 Journal Article
%T 容错的网络声明式程序
%A Stéphane GRUMBACH
%A 汪芳
%J -
%D 2012
%R 10.3724/SP.J.1001.2012.04168
%X 介绍了基于递归规则的网络声明式语言Netlog 的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感
%K 网络编程抽象 声明式语言 语法 语义 容错性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=4168&flag=1