Admitted local publications that cite Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata.
No admitted local citation edges point to this work yet.
Cited by — Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata | ResearchHub - ResearchHub
