Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata

• Authors:

• Sanjay Kumar Madria;S. N. Maheshwari;B. Chandra

• Affiliations:

• -;-;-

• Venue:
• Data & Knowledge Engineering
• Year:
• 2001