A process-calculus analysis of concurrent operations on B-trees
Date
2001Author
Philippou, AnnaWalker, D.
Source
Journal of Computer and System SciencesVolume
62Issue
1Pages
73-122Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
A general theory of interactive systems with changing structure, the π-calculus, is used to study concurrent operations on a variant of the B-tree. An improved algorithm for compression of the data structure is given. Some general results on partially confluent processes and on client-server systems, couched in the π-calculus, are presented. © 2001 Academic Press.