Ordinary Differential Equation-Based Deadlock Detection

Zuohua Ding, MengChu Zhou, ShouGuang Wang. Ordinary Differential Equation-Based Deadlock Detection. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 44(10):1435-1454, 2014. [doi]

Abstract

Abstract is missing.