Compositionality Entails Sequentializability (Q3000634): Difference between revisions

@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / 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/978-3-642-19835-9_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2142940251
@@ Property / OpenAlex ID: W2142940251 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Proofs for Global Safety Properties
@@ Property / cites work: Local Proofs for Global Safety Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Local rely-guarantee reasoning
@@ Property / cites work: Local rely-guarantee reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738361
@@ Property / cites work: Q4738361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+An approach to automating the verification of compact parallel coordination programs. I
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank