Compositionality Entails Sequentializability (Q3000634): Difference between revisions

@@ 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