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

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6367490
@@ Property / zbMATH DE Number: 6367490 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+separation logic
@@ Property / zbMATH Keywords: separation logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rely-guarantee
@@ Property / zbMATH Keywords: rely-guarantee / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof
@@ Property / zbMATH Keywords: proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+atomicity
@@ Property / zbMATH Keywords: atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+MASCOT
@@ Property / cites work: MASCOT / 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 / describes a project that uses @@
+MASCOT
@@ Property / describes a project that uses: MASCOT / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:469352