Thakkar, Jay and Kanade, Aditya (2015) Non-deterministic transducer models of retransmission protocols over noisy channels. In: INFORMATION PROCESSING LETTERS, 115 (9). pp. 694-698.