Shao-Ming Simon Hsueh

Learn More
This paper presents a static analysis method for examining and removing communication deadlock that is less expensive in time and space than Static Concurrency Analysis, Task Interaction Graph Analysis and Ada Petri Net Analysis. Our algorithm also is more powerful. Furthermore its information is easily available as part of the parsing commonly done for(More)
  • 1