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) (journal version). Bulletin of Economic Research, 54(1):69–94, January 2002. Blackwell Publishers Ltd, Oxford, UK and Boston, USA
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
@Article{stulp02knowledgebased,
author = {Freek Stulp and Rineke Verbrugge},
title = {A Knowledge-based Algorithm for the Internet Transmission Control Protocol ({TCP}) (journal version)},
journal = {Bulletin of Economic Research},
year = {2002},
volume = {54},
number = {1},
pages = {69-94},
month = {January},
note = {Blackwell Publishers Ltd, Oxford, {UK} and Boston, {USA}},
pdf = {http://www.ai.rug.nl/\~freeks/tcp/stulp02knowledgebased.pdf},
url = {http://citeseer.nj.nec.com/stulp02knowledgebased.html},
bib2html_pubtype = {Journal},
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 Fri Jul 11, 2008 22:06:34 UTC

















