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