@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Freek Stulp's publication pages at
@COMMENT http://www-clmc.usc.edu/~stulp/publications
@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}
}