The decidability of verification under PS 2.0 (Q2233444): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-72019-3_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3138980809
@@ Property / OpenAlex ID: W3138980809 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings. Part II
+Normal rank
@@ Property / cites work @@
+The decidability of verification under PS 2.0
@@ Property / cites work: The decidability of verification under PS 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+On the verification problem for weak memory models
+Normal rank
@@ Property / cites work @@
+Delay-bounded scheduling
@@ Property / cites work: Delay-bounded scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+A promising semantics for relaxed-memory concurrency
+Normal rank
@@ Property / cites work @@
+Reducing concurrent analysis under a context bound to sequential analysis
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Relaxed Dependencies in Weak Memory Concurrency
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+A separation logic for a promising semantics
@@ Property / cites work: A separation logic for a promising semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
+Normal rank