Verification of STM on relaxed memory models (Q453508): Difference between revisions

@@ Property / OpenAlex ID @@
+W2067647017
@@ Property / OpenAlex ID: W2067647017 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxed memory models
@@ Property / cites work: Relaxed memory models / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Program Verification for Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Atomizer: A dynamic atomicity checker for multithreaded programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Nondeterminism in Model Checking Transactional Memories
+Normal rank
@@ Property / cites work @@
+Software Transactional Memory on Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank