@article{Bouyer:2012:TIF:2348911.2348916,
    Address = {London, UK, UK},
    Author = {Bouyer, Patricia and Markey, Nicolas and Ouaknine, Jo{\" e}l and Schnoebelen, Philippe and Worrell, James},
    File = {On termination and invariance for faulty channel machines - Bouyer, Markey, Ouaknine, Schnoebelen, Worrell (0) (0) - a - a - f.pdf},
    ISSN = {0934-5043},
    Journal = {Form. Asp. Comput.},
    Keywords = {well-structured transition systems and lossy channel systems},
    Month = {July},
    Number = {4-6},
    Pages = {595--607},
    Publisher = {Springer-Verlag},
    Title = {On termination and invariance for faulty channel machines},
    URL = {http://dx.doi.org/10.1007/s00165-012-0234-7},
    Volume = {24},
    Year = {2012},
    acmid = {2348916},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-012-0234-7},
    date-added = {2013-10-17 12:03:55 +0000},
    date-modified = {2013-10-17 12:04:09 +0000},
    issue_date = {July 2012},
    numpages = {13},
    doi = {10.1007/s00165-012-0234-7}
}

@article{Bouyer:2012:TIF:2348911.2348916, Address = {London, UK, UK}, Author = {Bouyer, Patricia and Markey, Nicolas and Ouaknine, Jo{\" e}l and Schnoebelen, Philippe and Worrell, James}, File = {On termination and invariance for faulty channel machines - Bouyer, Markey, Ouaknine, Schnoebelen, Worrell (0) (0) - a - a - f.pdf}, ISSN = {0934-5043}, Journal = {Form. Asp. Comput.}, Keywords = {well-structured transition systems and lossy channel systems}, Month = {July}, Number = {4-6}, Pages = {595--607}, Publisher = {Springer-Verlag}, Title = {On termination and invariance for faulty channel machines}, URL = {http://dx.doi.org/10.1007/s00165-012-0234-7}, Volume = {24}, Year = {2012}, acmid = {2348916}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-012-0234-7}, date-added = {2013-10-17 12:03:55 +0000}, date-modified = {2013-10-17 12:04:09 +0000}, issue_date = {July 2012}, numpages = {13}, doi = {10.1007/s00165-012-0234-7} }