Reverse Reachability Analysis:a New Technique for Deadlock Detection on Communicating Finite State Machines

Hung, Y. C.Y. C.Hung陳健輝Chen, Gen-HueyGen-HueyChen2009-02-032018-07-052009-02-032018-07-051993http://ntur.lib.ntu.edu.tw//handle/246246/118463en-USReverse Reachability Analysis:a New Technique for Deadlock Detection on Communicating Finite State Machinesjournal article