Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking

Ing-Ray Chen. Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking. Comput. J., 38(9):717-733, 1995.

Abstract

Abstract is missing.