@article{CeceFinkel:IC:2005,
    Author = {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain},
    File = {Verification of programs with half-duplex communication - Cécé, Finkel (1) (0) - a - a - n.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {communicating automata},
    Number = {2},
    Pages = {166--190},
    Title = {Verification of programs with half-duplex communication},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540105001082},
    Volume = {202},
    Year = {2005},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540105001082},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2005.05.006},
    date-added = {2012-10-08 14:05:24 +0000},
    date-modified = {2018-03-12 18:31:57 +0000},
    file-2 = {Verification of programs with half-duplex communication - Cécé, Finkel (2) (0) - a - a - n.pdf},
    doi = {10.1016/j.ic.2005.05.006}
}

@article{CeceFinkel:IC:2005, Author = {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain}, File = {Verification of programs with half-duplex communication - Cécé, Finkel (1) (0) - a - a - n.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {communicating automata}, Number = {2}, Pages = {166--190}, Title = {Verification of programs with half-duplex communication}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540105001082}, Volume = {202}, Year = {2005}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540105001082}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2005.05.006}, date-added = {2012-10-08 14:05:24 +0000}, date-modified = {2018-03-12 18:31:57 +0000}, file-2 = {Verification of programs with half-duplex communication - Cécé, Finkel (2) (0) - a - a - n.pdf}, doi = {10.1016/j.ic.2005.05.006} }