Syntactic Reductions for Efficient Deadlock Analysis