Model checking transactional memories (Q2377134): Difference between revisions

@@ Property / describes a project that uses @@
+Checkfence
@@ Property / describes a project that uses: Checkfence / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2077571050
@@ Property / OpenAlex ID: W2077571050 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking of correctness conditions for concurrent objects
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
+Normal rank
@@ Property / cites work @@
+Maximal serializability of iterated transactions
@@ Property / cites work: Maximal serializability of iterated transactions / rank @@
+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 @@
+Toward a theory of transactional contention managers
+Normal rank
@@ Property / cites work @@
+Q4818798
@@ Property / cites work: Q4818798 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized wait-free concurrent objects (extended abstract)
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank