An operational happens-before memory model (Q1712426): Difference between revisions

@@ 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 Java Memory Model: Operationally, Denotationally, Axiomatically
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Formalising Java’s Data Race Free Guarantee
@@ Property / cites work: Formalising Java’s Data Race Free Guarantee / rank @@
+Normal rank
@@ Property / cites work @@
+Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
+Normal rank
@@ Property / cites work @@
+Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
+Normal rank
@@ Property / cites work @@
+Generative Operational Semantics for Relaxed Memory Models
+Normal rank