Publications Freek Stulp


Back to Homepage
Sorted by DateClassified by Publication TypeClassified by Research Category
A Knowledge-based Algorithm for the Internet Transmission Control Protocol (TCP)
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
[PDF]205.7kB  
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
@InProceedings{stulp00knowledgebased,
  title                    = {A Knowledge-based Algorithm for the Internet Transmission Control Protocol ({TCP})},
  author                   = {Freek Stulp and Rineke Verbrugge},
  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},
  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.},
  bib2html_pubtype         = {Refereed Conference Paper},
  bib2html_rescat          = {Knowledge-based Analysis of the Transmission Control Protocol},
  file                     = {stulp00knowledgebased.pdf:http\://www.ai.rug.nl/\\~freeks/tcp/stulp00knowledgebased.pdf:PDF}
}

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints.


Generated by bib2html.pl (written by Patrick Riley ) on Mon Jul 20, 2015 21:50:11