Pages that link to "Item:Q2734633"
From MaRDI portal
The following pages link to Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata (Q2734633):
Displaying 2 items.