The following publications are possibly variants of this publication:
- Deadlock Detection in Communicating Finite State Machines by Even Reachability AnalysisWuxu Peng. monet, 2(3):251-257, 1997.
- On Reachability Analysis of Communicating Finite State MachinesWuxu Peng, Kia Makki. icccn 1995: 58
- A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State MachinesWuxu Peng, S. Purushothaman. cav 1991: 243-252
- Analysis of a Class of Communicating Finite State MachinesWuxu Peng, S. Purushothaman. ACTA, 29(6/7):499-522, 1992.
- Towards Dataflow Analysis of Communicating Finite State MachinesWuxu Peng, S. Purushothaman. podc 1989: 45-58
- Lossy Communicating Finite State MachinesWuxu Peng, Kia Makki. telsys, 25(3-4):433-448, 2004. [doi]