Semantics of Concurrent Revisions (Q3000574): Difference between revisions

@@ Property / describes a project that uses @@
+Grace
@@ Property / describes a project that uses: Grace / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19718-5_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2154709372
@@ Property / OpenAlex ID: W2154709372 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Concurrent Revisions
@@ Property / cites work: Semantics of Concurrent Revisions / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Coarse-grained transactions
@@ Property / cites work: Coarse-grained transactions / rank @@
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Semantics of transactional memory and automatic mutual exclusion
+Normal rank
@@ Property / cites work @@
+The semantics of Scheme with future
@@ Property / cites work: The semantics of Scheme with future / rank @@
+Normal rank
@@ Property / cites work @@
+Multiversion concurrency control—theory and algorithms
+Normal rank
@@ Property / cites work @@
+Q3656206
@@ Property / cites work: Q3656206 / rank @@
+Normal rank