Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.

Wuxu Peng

Browse the full ICCCN paper archive.