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

@@ 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/s10766-007-0051-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2150717721
@@ Property / OpenAlex ID: W2150717721 / rank @@
+Normal rank
@@ 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