网络编程抽象相关论文
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限......
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义，定义了强良好的程序，并证明了强良好的程序的计算结果对有限的......
