Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson

Browse the full LICS paper archive.