Undecidable Verification Problems for Programs with Unreliable Channels

Publisher Website

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

No abstract available

Keywords

Cited by 55 articles