Browsing Computer Science and Automation (CSA) by Author "Thakkar, Jay"
Now showing items 1-1 of 1
Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels Thakkar, Jay (2018-04-05)Unreliable communication channels are a practical reality. They add to the complexity of protocol design and verification. In this work, we consider noisy channels which can corrupt messages. We present an approach to model ...