摘要：述语逻辑中有效公式的概念与网络协议的规范之间存在着一种显著关系。我们给出了几个例子，例如一个数据包或序列的确认。我们展示了如何规定协议的组成。
作者：Jean-Louis Krivine (PPS), Yves Legrandg''erard (PPS)
论文ID：0708.1480
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-11-14
PDF 下载： 英文版 中文版pdf翻译中