Regular ArticleA Process-Calculus Analysis of Concurrent Operations on B-Trees
Under an Elsevier user license
open archive
Keywords
concurrency
data structures
mobility
π-calculus
partial confluence
Cited by (0)
Copyright © 2001 Academic Press. All rights reserved.