@article{Peng:1997:DDC:272172.272175,
    Address = {Hingham, MA, USA},
    Author = {Peng, Wuxu},
    File = {Deadlock detection in communicating finite state machines by even reachability analysis - Peng (0) (0) - a - a - n.pdf},
    ISSN = {1383-469X},
    Journal = {Mob. Netw. Appl.},
    Keywords = {communicating automata},
    Month = {December},
    Number = {3},
    Pages = {251--257},
    Publisher = {Kluwer Academic Publishers},
    Title = {Deadlock detection in communicating finite state machines by even reachability analysis},
    URL = {http://dx.doi.org/10.1023/A:1013640918785},
    Volume = {2},
    Year = {1997},
    acmid = {272175},
    bdsk-url-1 = {http://dx.doi.org/10.1023/A:1013640918785},
    date-added = {2012-10-11 07:48:51 +0000},
    date-modified = {2012-10-26 08:58:22 +0000},
    issue_date = {Dec. 1997},
    numpages = {7},
    doi = {10.1023/A:1013640918785}
}

@article{Peng:1997:DDC:272172.272175, Address = {Hingham, MA, USA}, Author = {Peng, Wuxu}, File = {Deadlock detection in communicating finite state machines by even reachability analysis - Peng (0) (0) - a - a - n.pdf}, ISSN = {1383-469X}, Journal = {Mob. Netw. Appl.}, Keywords = {communicating automata}, Month = {December}, Number = {3}, Pages = {251--257}, Publisher = {Kluwer Academic Publishers}, Title = {Deadlock detection in communicating finite state machines by even reachability analysis}, URL = {http://dx.doi.org/10.1023/A:1013640918785}, Volume = {2}, Year = {1997}, acmid = {272175}, bdsk-url-1 = {http://dx.doi.org/10.1023/A:1013640918785}, date-added = {2012-10-11 07:48:51 +0000}, date-modified = {2012-10-26 08:58:22 +0000}, issue_date = {Dec. 1997}, numpages = {7}, doi = {10.1023/A:1013640918785} }