LiBin Han, Keyi Xing, MengChu Zhou, Huixia Liu, Feng Wang. Two-stage deadlock prevention policy based on resource-transition circuits. In 2012 IEEE International Conference on Automation Science and Engineering, CASE 2012, Seoul, Korea (South), August 20-24, 2012. pages 741-746, IEEE, 2012. [doi]
Abstract is missing.