Complete formal specification of the OpenMP memory model (Q2457959): Difference between revisions

@@ Property / cites work @@
+Checking cache-coherence protocols with TLA\(^+\)
@@ Property / cites work: Checking cache-coherence protocols with TLA\(^+\) / rank @@
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023279
@@ Property / cites work: Q4023279 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete formal specification of the OpenMP memory model
+Normal rank
@@ Property / Wikidata QID @@
+Q126211238
@@ Property / Wikidata QID: Q126211238 / rank @@
+Normal rank