Stochastic Petri net analysis of deadlock detection algorithms in transaction database systems with dynamic locking

TitleStochastic Petri net analysis of deadlock detection algorithms in transaction database systems with dynamic locking
Publication TypeJournal Article
Year of Publication1995
AuthorsChen, I. - R.
JournalThe Computer Journal
Volume38
Issue9
Pagination717-733