Explanation of two non-blocking shared-variable communication algorithms (Q469352): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-011-0213-4
@@ Property / DOI: 10.1007/s00165-011-0213-4 / rank @@
-Normal rank
@@ Property / cites work @@
+Relational separation logic
@@ Property / cites work: Relational separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-process buffers in separation logic with rely-guarantee
+Normal rank
@@ Property / cites work @@
+Q4797824
@@ Property / cites work: Q4797824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549763
@@ Property / cites work: Q5549763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+Process synchronisation in MASCOT
@@ Property / cites work: Process synchronisation in MASCOT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808839
@@ Property / cites work: Q4808839 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
+Normal rank
@@ Property / cites work @@
+Elucidating concurrent algorithms via layers of abstraction and reification
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
+Normal rank
@@ Property / cites work @@
+Modular Safety Checking for Fine-Grained Concurrency
+Normal rank
@@ Property / cites work @@
+A Marriage of Rely/Guarantee and Separation Logic
@@ Property / cites work: A Marriage of Rely/Guarantee and Separation Logic / rank @@
+Normal rank
@@ 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/s00165-011-0213-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2028010419
@@ Property / OpenAlex ID: W2028010419 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-011-0213-4
@@ Property / DOI: 10.1007/S00165-011-0213-4 / rank @@
+Normal rank