A process-calculus analysis of concurrent operations on B-trees (Q5943122): Difference between revisions

@@ Property / cites work @@
+Organization and maintenance of large ordered indexes
+Normal rank
@@ Property / cites work @@
+Concurrency of operations on B-trees
@@ Property / cites work: Concurrency of operations on B-trees / rank @@
+Normal rank
@@ Property / cites work @@
+A New Method for Concurrency in B-Trees
@@ Property / cites work: A New Method for Concurrency in B-Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient locking for concurrent operations on B-trees
+Normal rank
@@ Property / cites work @@
+Partial confluence of processes and systems of objects
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+On transformations of concurrent-object programs
@@ Property / cites work: On transformations of concurrent-object programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent operations on \(B^ *\)-trees with overtaking
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness (extended abstract)
+Normal rank