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) (journal version). Bulletin of Economic Research, 54(1):69–94, January 2002. Blackwell Publishers Ltd, Oxford, UK and Boston, USA

Download

[PDF]295.1kB  

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


Computer Science IX | Technische Universität München