A process-calculus analysis of concurrent operations on B-trees
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Walker, D. | en |
dc.date.accessioned | 2019-11-13T10:42:00Z | |
dc.date.available | 2019-11-13T10:42:00Z | |
dc.date.issued | 2001 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54846 | |
dc.description.abstract | 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. | en |
dc.source | Journal of Computer and System Sciences | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035250704&doi=10.1006%2fjcss.2000.1721&partnerID=40&md5=1e33c0a139c3e18a3c4ba2ce749c5f0e | |
dc.subject | π-calculus | el |
dc.subject | Algorithms | en |
dc.subject | Data reduction | en |
dc.subject | Data compression | en |
dc.subject | Concurrent engineering | en |
dc.subject | Interactive computer systems | en |
dc.subject | Data structures | en |
dc.subject | Computer systems programming | en |
dc.subject | Mobility | en |
dc.subject | Concurrency | en |
dc.subject | Partial confluence | en |
dc.subject | Process-calculus analysis | en |
dc.title | A process-calculus analysis of concurrent operations on B-trees | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1006/jcss.2000.1721 | |
dc.description.volume | 62 | |
dc.description.issue | 1 | |
dc.description.startingpage | 73 | |
dc.description.endingpage | 122 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :2</p> | en |
dc.source.abbreviation | J.Comput.Syst.Sci. | en |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |