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
Authors:
Pelant, RK
Chandra, B
Pu, JB
Lohani, M
Suknaphasawat, N
Xu, G
Citation: Rk. Pelant et al., Small ruminants in development: the Heifer Project International experience in Asia, SMALL RUMIN, 34(3), 1999, pp. 249-257