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

✍ Scribed by Sanjay Kumar Madria; S.N. Maheshwari; B. Chandra

• Book ID: 108416014
• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 374 KB
• Volume: 37
• Category: Article
• ISSN: 0169-023X
• DOI: 10.1016/s0169-023x(01)00005-2