dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.contributor.editor | Mazurkiewicz A. | en |
dc.contributor.editor | Winkowski J. | 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 | 1997 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54848 | |
dc.description.abstract | An account is given of a rigorous study of concurrent operations on a variant of the B-tree in the framework of a general theory of concurrent systems, an extension of the r-calculus. The assertion of correctness of the algorithms is that the agent representing the system is behaviourally equivalent to an agent whose observable behaviour describes simply the expected interactions of the system with its environment. An outline of the proofs of correctness of algorithms for insertion and search is given. Algorithms for deletion and compression are considered briefly. The main theoretical contribution is an extension of the theory of partial confluence of agents. © Springer-Verlag Berlin Heidelberg 1997. | en |
dc.source | 8th International Conference on Concurrency Theory, CONCUR 1997 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84957869954&doi=10.1007%2f3-540-63141-0_25&partnerID=40&md5=2afe6908ec557485ae7b4cf350df8f90 | |
dc.title | A rigorous analysis of concurrent operations on B-trees | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/3-540-63141-0_25 | |
dc.description.volume | 1243 | |
dc.description.startingpage | 361 | |
dc.description.endingpage | 375 | |
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>Sponsors: | en |
dc.description.notes | Conference code: 149829</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |