期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
容错的网络声明式程序
1
作者 汪芳 stephane grumbach 《软件学报》 EI CSCD 北大核心 2012年第8期1992-2001,共10页
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
关键词 网络编程抽象 声明式语言 语法 语义 容错性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部