Deadlock checking by data race detection
Journal of Logical and Algebraic Methods in Programming2014Vol. 83(5-6), pp. 400–426
Citations Over Time
Related Papers
- → A distributed algorithm for deadlock detection and resolution(1984)117 cited
- → MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems(2007)9 cited
- → A deadlock detection algorithm for business processes workflow models(2002)13 cited
- → The Analysis and Avoidance of Concurrent Processes Deadlock(2011)
- Research and Improvements on Phantom Deadlock Rate of Deadlock Detection Algorithms(2005)