全部 标题 作者 关键词 摘要
DOI: 10.3724/SP.J.1001.2012.04168
Keywords: 网络编程抽象 声明式语言 语法 语义 容错性
Full-Text Cite this paper Add to My Lib
介绍了基于递归规则的网络声明式语言Netlog 的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
