Undecidable Verification Problems for Programs with Unreliable Channels.

Parosh Aziz Abdulla, Bengt Jonsson

Browse the full ICALP paper archive.