@article{Yu1983235,
    Author = {Yu, Yao-Tin and Gouda, Mohamed G.},
    File = {Unboundedness detection for a class of communicating finite-state machines - Yu, Gouda (0) (0) - a - a - d.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {communicating automata and unboundedness},
    Number = {5},
    Pages = {235 - 240},
    Title = {Unboundedness detection for a class of communicating finite-state machines},
    URL = {http://www.sciencedirect.com/science/article/pii/0020019083901059},
    Volume = {17},
    Year = {1983},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019083901059},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(83)90105-9},
    date-added = {2012-10-11 07:39:20 +0000},
    date-modified = {2012-10-26 09:15:45 +0000},
    doi = {10.1016/0020-0190(83)90105-9}
}

@article{Yu1983235, Author = {Yu, Yao-Tin and Gouda, Mohamed G.}, File = {Unboundedness detection for a class of communicating finite-state machines - Yu, Gouda (0) (0) - a - a - d.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {communicating automata and unboundedness}, Number = {5}, Pages = {235 - 240}, Title = {Unboundedness detection for a class of communicating finite-state machines}, URL = {http://www.sciencedirect.com/science/article/pii/0020019083901059}, Volume = {17}, Year = {1983}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019083901059}, bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(83)90105-9}, date-added = {2012-10-11 07:39:20 +0000}, date-modified = {2012-10-26 09:15:45 +0000}, doi = {10.1016/0020-0190(83)90105-9} }