Reverse Reachability Analysis:a New Technique for Deadlock Detection on Communicating Finite State Machines
Resource
Software-Practice & Experience, v.23 n.9, p.965-979
Journal
Software-Practice & Experience
Journal Volume
v.23 n.9
Pages
965-979
Date Issued
1993
Date
1993
Author(s)
Type
journal article