Towards Dataflow Analysis of Communicating Finite State Machines.

Wuxu Peng, S. Purushothaman

Browse the full PODC paper archive.