Title | Modeling of Distributed Database Concurrency Control Mechanisms Using An Extended Petri Net Formalism |
Publication Type | Conference Paper |
Year of Publication | 1982 |
Authors | Ozsu, T., and B. W. Weide |
Conference Name | IEEE International Conference on Distributed Computing Systems (ICDCS) |