Deadlock Properties in Discrete Simulation Systems. - Srilakshmi Venkatesh; J. Smith; Bryan L. Deuermeyer; Guy L. Curry (ICRA, 1994)

An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems. - Bryan L. Deuermeyer; Guy L. Curry; Andrew T. Duchowski; Srilakshmi Venkatesh (INFORMS J. Comput., 1997)