Streamlining progress-based derivations of concurrent programs (Q2481207): Difference between revisions

@@ Property / cites work @@
+Automatic discovery of mutual exclusion algorithms
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the theory of Owicki and Gries with a logic of progress
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
+Normal rank
@@ Property / cites work @@
+Q4258224
@@ Property / cites work: Q4258224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank