Browsing 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences by Subject "π-calculus"
Now showing items 1-1 of 1
-
Article
A process-calculus analysis of concurrent operations on B-trees
(2001)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 ...