Data Communicating Processes with Unreliable Channels.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Browse the full LICS paper archive.