Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism.

M. Tamer zsu, Bruce W. Weide

Browse the full ICDCS paper archive.