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