A Knowledge-Based Algorithm for the Internet Transmission Control Protocol (TCP)
Freek Stulp, Rineke Verbrugge
Abstract
Freek Stulp, Rineke Verbrugge
Abstract
Using a knowledge-based approach, the authors derive a protocol for the sequence transmission problem, which provides a high level model of the Internet transmission control 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 knowledge about the values of the messages for any, but that common knowledge about the messages is not attainable.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Using a knowledge-based approach, the authors derive a protocol for the sequence transmission problem, which provides a high level model of the Internet transmission control 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 knowledge about the values of the messages for any, but that common knowledge about the messages is not attainable.
Key concepts: Communication source, Transmission Control Protocol, Computer science, Internet Protocol, Computer network, Internet protocol suite, Transmission (telecommunications), The Internet