The Complexity of Predicting Atomicity Violations (Q3617757): Difference between revisions

@@ Property / describes a project that uses @@
+Atomizer
@@ Property / describes a project that uses: Atomizer / 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-00768-2_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1522958625
@@ Property / OpenAlex ID: W1522958625 / rank @@
+Normal rank
@@ Property / cites work @@
+A high-performance, portable implementation of the MPI message passing interface standard
+Normal rank
@@ Property / cites work @@
+Causal Atomicity
@@ Property / cites work: Causal Atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring Atomicity in Concurrent Programs
@@ Property / cites work: Monitoring Atomicity in Concurrent Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Predicting Atomicity Violations
@@ Property / cites work: The Complexity of Predicting Atomicity Violations / rank @@
+Normal rank
@@ Property / cites work @@
+Atomizer
@@ Property / cites work: Atomizer / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of intersecting finite state automata and \(\mathcal{NL}\) versus \(\mathcal{NP}\)
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750150
@@ Property / cites work: Q3750150 / rank @@
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank