Authors:
Madria, SK
Maheshwari, SN
Chandra, B
Bhargava, B
Citation: Sk. Madria et al., Formalization and proof of correctness of the crash recovery algorithm foran open and safe nested transaction model, INT J COOP, 10(1-2), 2001, pp. 1-50
Citation: Sk. Madria et al., Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata, DATA KN ENG, 37(2), 2001, pp. 139-176
Citation: S. Goel et al., An adaptable constrained locking protocol for high data contention environments: correctness and performance, INF SOFTW T, 42(9), 2000, pp. 599-608
Citation: Sk. Madria et al., Multi-level transaction model for semantic concurrency control in linear hash structures, INF SOFTW T, 42(7), 2000, pp. 445-464