Elucidating concurrent algorithms via layers of abstraction and reification (Q539423): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-010-0156-1
@@ Property / DOI: 10.1007/s00165-010-0156-1 / rank @@
-Normal rank
@@ Property / author @@
-Cliff B. Jones
@@ Property / author: Cliff B. Jones / rank @@
-Normal rank
@@ Property / author @@
+Cliff B. Jones
@@ Property / author: Cliff B. Jones / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N99
@@ Property / Mathematics Subject Classification ID: 68N99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5900835
@@ Property / zbMATH DE Number: 5900835 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program proof
@@ Property / zbMATH Keywords: program proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rely/guarantee conditions
@@ Property / zbMATH Keywords: rely/guarantee conditions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchronous communication mechanisms
@@ Property / zbMATH Keywords: asynchronous communication mechanisms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Simpson's algorithm
@@ Property / zbMATH Keywords: Simpson's algorithm / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rodin
@@ Property / describes a project that uses: Rodin / 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-010-0156-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2004321173
@@ Property / OpenAlex ID: W2004321173 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-process buffers in separation logic with rely-guarantee
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808839
@@ Property / cites work: Q4808839 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting atoms safely
@@ Property / cites work: Splitting atoms safely / rank @@
+Normal rank
@@ Property / cites work @@
+The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725724
@@ Property / cites work: Q4725724 / 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 @@
+Separation logic and abstraction
@@ Property / cites work: Separation logic and abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Reading While Writing
@@ Property / cites work: Concurrent Reading While Writing / rank @@
+Normal rank
@@ Property / cites work @@
+A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables
+Normal rank
@@ Property / cites work @@
+Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Safety Checking for Fine-Grained Concurrency
+Normal rank
@@ Property / DOI @@
+.1007/S00165-010-0156-1
@@ Property / DOI: 10.1007/S00165-010-0156-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:539423