Undecidable Verification Problems for Programs with Unreliable Channels

• 1 October 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 130  (1) , 71-90
• https://doi.org/10.1006/inco.1996.0083

Abstract

Keywords

• PROBLEMS FOR PROGRAMS
• UNRELIABLE CHANNELS
• UNDECIDABLE VERIFICATION PROBLEMS