A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915): Difference between revisions

@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Justification of a Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Q4727411
@@ Property / cites work: Q4727411 / rank @@
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140351
@@ Property / cites work: Q4140351 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q4039815
@@ Property / cites work: Q4039815 / rank @@
+Normal rank