@article{AbdullaJonsson:LCS:IC:1996,
    Author = {Abdulla, Parosh Aziz and Jonsson, Bengt},
    File = {Verifying Programs with Unreliable Channels - Abdulla, Jonsson (0) (1) - a - a - n.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {lossy channel systems},
    Number = {2},
    Pages = {91--101},
    Title = {Verifying Programs with Unreliable Channels},
    URL = {http://www.sciencedirect.com/science/article/pii/S089054019690053X},
    Volume = {127},
    Year = {1996},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S089054019690053X},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1996.0053},
    date-added = {2012-07-04 19:06:53 +0200},
    date-modified = {2018-03-12 18:53:53 +0000},
    file-2 = {Verifying Programs with Unreliable Channels - Abdulla, Jonsson (1) (0) - a - a - n.pdf},
    doi = {10.1006/inco.1996.0053}
}

@article{AbdullaJonsson:LCS:IC:1996, Author = {Abdulla, Parosh Aziz and Jonsson, Bengt}, File = {Verifying Programs with Unreliable Channels - Abdulla, Jonsson (0) (1) - a - a - n.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {lossy channel systems}, Number = {2}, Pages = {91--101}, Title = {Verifying Programs with Unreliable Channels}, URL = {http://www.sciencedirect.com/science/article/pii/S089054019690053X}, Volume = {127}, Year = {1996}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S089054019690053X}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1996.0053}, date-added = {2012-07-04 19:06:53 +0200}, date-modified = {2018-03-12 18:53:53 +0000}, file-2 = {Verifying Programs with Unreliable Channels - Abdulla, Jonsson (1) (0) - a - a - n.pdf}, doi = {10.1006/inco.1996.0053} }