Publications
• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Freek Stulp and Rineke Verbrugge. A Knowledge-based Algorithm for the Internet Transmission Control Protocol (TCP). In Proceedings 4th Conference on Logic and the Foundations of Game and Descision Theory (LOFT4), 2000.
Download
Abstract
Using a knowledge-based approach, we derive a protocol for the sequence transmission problem, which provides a high-level model of the Internet protocol TCP. The knowledge-based protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that both sender and receiver eventually attain depth n knowledge about the values of the messages for any n, but that common knowledge about the messages is not attainable.
BibTeX Entry
@InProceedings{stulp00knowledgebased,
author = {Freek Stulp and Rineke Verbrugge},
title = {A Knowledge-based Algorithm for the Internet Transmission Control Protocol ({TCP})},
booktitle = {Proceedings 4th Conference on Logic and the Foundations of Game and Descision Theory ({LOFT4})},
year = {2000},
editor = {G. Bonanno and W. van der Hoek},
pdf = {http://www.ai.rug.nl/\~freeks/tcp/stulp00knowledgebased.pdf},
url = {http://citeseer.nj.nec.com/549191.html},
bib2html_pubtype = {Refereed Conference Paper},
bib2html_rescat = {Knowledge-based Systems},
abstract = {Using a knowledge-based approach, we derive a protocol
for the sequence transmission problem, which provides a high-level model of
the Internet protocol TCP. The knowledge-based protocol is correct for
communication media where deletion and reordering errors may occur.
Furthermore, it is shown that both sender and receiver eventually attain depth
n knowledge about the values of the messages for any n, but that common
knowledge about the messages is not attainable.}
}
Generated by bib2html.pl (written by Patrick Riley ) on Tue Sep 23, 2008 15:09:11 UTC

















