Stochastic Petri net analysis of deadlock detection algorithms in transaction database systems with dynamic locking
| Title | Stochastic Petri net analysis of deadlock detection algorithms in transaction database systems with dynamic locking |
| Publication Type | Journal Article |
| Year of Publication | 1995 |
| Authors | Chen, I. - R. |
| Journal | The Computer Journal |
| Volume | 38 |
| Issue | 9 |
| Pagination | 717-733 |