@article{Finkel:1994:DTP:1081582.1081584,
    Address = {London, UK, UK},
    Author = {Finkel, Alain},
    File = {Decidability of the termination problem for completely specified protocols - Finkel (0) (0) - a - a - q.pdf},
    ISSN = {0178-2770},
    Journal = {Distrib. Comput.},
    Keywords = {lossy channel systems and well-structured transition systems},
    Month = {March},
    Number = {3},
    Pages = {129--135},
    Publisher = {Springer-Verlag},
    Title = {Decidability of the termination problem for completely specified protocols},
    URL = {http://dx.doi.org/10.1007/BF02277857},
    Volume = {7},
    Year = {1994},
    acmid = {1081584},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF02277857},
    date-added = {2012-12-29 14:21:58 +0000},
    date-modified = {2012-12-29 14:22:44 +0000},
    issue_date = {March 1994},
    numpages = {7},
    doi = {10.1007/BF02277857}
}

@article{Finkel:1994:DTP:1081582.1081584, Address = {London, UK, UK}, Author = {Finkel, Alain}, File = {Decidability of the termination problem for completely specified protocols - Finkel (0) (0) - a - a - q.pdf}, ISSN = {0178-2770}, Journal = {Distrib. Comput.}, Keywords = {lossy channel systems and well-structured transition systems}, Month = {March}, Number = {3}, Pages = {129--135}, Publisher = {Springer-Verlag}, Title = {Decidability of the termination problem for completely specified protocols}, URL = {http://dx.doi.org/10.1007/BF02277857}, Volume = {7}, Year = {1994}, acmid = {1081584}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF02277857}, date-added = {2012-12-29 14:21:58 +0000}, date-modified = {2012-12-29 14:22:44 +0000}, issue_date = {March 1994}, numpages = {7}, doi = {10.1007/BF02277857} }