Title | Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism |
Publication Type | Journal Article |
Year of Publication | 1985 |
Authors | Ozsu, T. |
Journal | IEEE Transactions on Software Engineering (TSE) |
Volume | 11 |
Issue | 10 |
Pagination | 1225--1240 |
DOI | 10.1109/TSE.1985.231870 |