Reliable transport with perfect underlying channel, with ACKs/NAKs, Sequence Numbers.