@inproceedings{AbdullaJonsson:LICS:93,
    Author = {Abdulla, P. and Jonsson, B.},
    BookTitle = {Proc. of LICS'93},
    File = {Verifying programs with unreliable channels - Abdulla, Jonsson (0) (0) - a - a - n.pdf},
    Keywords = {decidability;program verification;programming theory;protocols;telecommunication channels;Alternating Bit Protocol;HDLC;decidable;eventuality properties;finite traces;finite-state processes;global states;infinite-state system verification;program verification;protocols;reachability problem;safety property;sliding-window protocols;space resources;time resources;traces;unbounded lossy FIFO channels;unreliable channels;Algorithm design and analysis;Clocks;Contracts;Data engineering;Hardware;Microwave integrated circuits;Protocols;Safety},
    Pages = {160--170},
    Title = {Verifying programs with unreliable channels},
    Year = {1993},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1993.287591},
    date-added = {2019-02-28 20:20:47 +0100},
    date-modified = {2019-02-28 20:20:47 +0100},
    doi = {10.1109/LICS.1993.287591}
}

@inproceedings{AbdullaJonsson:LICS:93, Author = {Abdulla, P. and Jonsson, B.}, BookTitle = {Proc. of LICS'93}, File = {Verifying programs with unreliable channels - Abdulla, Jonsson (0) (0) - a - a - n.pdf}, Keywords = {decidability;program verification;programming theory;protocols;telecommunication channels;Alternating Bit Protocol;HDLC;decidable;eventuality properties;finite traces;finite-state processes;global states;infinite-state system verification;program verification;protocols;reachability problem;safety property;sliding-window protocols;space resources;time resources;traces;unbounded lossy FIFO channels;unreliable channels;Algorithm design and analysis;Clocks;Contracts;Data engineering;Hardware;Microwave integrated circuits;Protocols;Safety}, Pages = {160--170}, Title = {Verifying programs with unreliable channels}, Year = {1993}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1993.287591}, date-added = {2019-02-28 20:20:47 +0100}, date-modified = {2019-02-28 20:20:47 +0100}, doi = {10.1109/LICS.1993.287591} }