Unreliable Channels Are Easier to Verify Than Perfect Channels

• 1 January 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 124  (1) , 20-31
• https://doi.org/10.1006/inco.1996.0003

Abstract

Keywords

• FINITE STATE MACHINE
• EXPRESSIVE POWER
• COMMUNICATION CHANNELS
• MODEL OF COMPUTATION