Stulp, Freek; Verbrugge, Rineke - 2015
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...