Department of Computer Science Technische Universitaet Muenchen
Home People Teaching Research Publications Info Sitemap
Research | Publications | Teaching | Miscellaneous | Contact

Publications

Sorted by DateClassified by Publication TypeClassified 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

[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 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


Computer Science IX | Technische Universität München