A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.

Wuxu Peng, S. Purushothaman

Browse the full CAV paper archive.