Browsing Computer Science and Automation (CSA) by Subject "Checksum"
Now showing items 1-1 of 1
(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 ...