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.
@article{Chen95b:0, title = {Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking}, author = {Ing-Ray Chen}, year = {1995}, tags = {analysis, database}, researchr = {https://researchr.org/publication/Chen95b%3A0}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {38}, number = {9}, pages = {717-733}, }