Wuxu Peng. Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis. In Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN 95), September 20-23, 1995, Las Vegas, Nevada, USA. pages 656, IEEE, 1995. [doi]
Abstract is missing.