@inproceedings{AbdullaAiswaryaAtig:LICS:2016,
    Address = {New York, NY, USA},
    Author = {Abdulla, Parosh Aziz and Aiswarya, C. and Atig, Mohamed Faouzi},
    BookTitle = {Proc. of LICS'16},
    File = {p166-Abdulla (0) - a - a - u.pdf},
    ISBN = {978-1-4503-4391-6},
    Keywords = {Lossy Channel Systems, Reachability Problem},
    Location = {New York, NY, USA},
    Pages = {166--175},
    Publisher = {ACM},
    Series = {LICS'16},
    Title = {Data Communicating Processes with Unreliable Channels},
    URL = {http://doi.acm.org/10.1145/2933575.2934535},
    Year = {2016},
    acmid = {2934535},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2933575.2934535},
    bdsk-url-2 = {https://dx.doi.org/10.1145/2933575.2934535},
    date-added = {2018-03-12 19:03:16 +0000},
    date-modified = {2018-03-12 19:05:34 +0000},
    numpages = {10},
    doi = {10.1145/2933575.2934535}
}

@inproceedings{AbdullaAiswaryaAtig:LICS:2016, Address = {New York, NY, USA}, Author = {Abdulla, Parosh Aziz and Aiswarya, C. and Atig, Mohamed Faouzi}, BookTitle = {Proc. of LICS'16}, File = {p166-Abdulla (0) - a - a - u.pdf}, ISBN = {978-1-4503-4391-6}, Keywords = {Lossy Channel Systems, Reachability Problem}, Location = {New York, NY, USA}, Pages = {166--175}, Publisher = {ACM}, Series = {LICS'16}, Title = {Data Communicating Processes with Unreliable Channels}, URL = {http://doi.acm.org/10.1145/2933575.2934535}, Year = {2016}, acmid = {2934535}, bdsk-url-1 = {http://doi.acm.org/10.1145/2933575.2934535}, bdsk-url-2 = {https://dx.doi.org/10.1145/2933575.2934535}, date-added = {2018-03-12 19:03:16 +0000}, date-modified = {2018-03-12 19:05:34 +0000}, numpages = {10}, doi = {10.1145/2933575.2934535} }