有效公式、博弈与网络协议
计算机科学中的逻辑
2007-11-14 v2
摘要
我们描述了谓词逻辑中有效公式的概念与网络协议规范之间的一种显著关系。我们给出了若干示例，如单个数据包或数据包序列的确认。我们展示了如何指定协议的组合。
引用
@article{arxiv.0708.1480,
title = {Valid formulas, games and network protocols},
author = {Jean-Louis Krivine and Yves Legrandgérard},
journal= {arXiv preprint arXiv:0708.1480},
year = {2007}
}
评论
12 pages