Decidability and complexity for quiescent consistency and its variations (Q1680503): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2017.09.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2964094199
@@ Property / OpenAlex ID: W2964094199 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking of correctness conditions for concurrent objects
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for concurrent objects
@@ Property / cites work: Abstraction for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698316
@@ Property / cites work: Q3698316 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Complexity for Quiescent Consistency
+Normal rank
@@ Property / cites work @@
+Counting networks
@@ Property / cites work: Counting networks / rank @@
+Normal rank
@@ Property / cites work @@
+Between Linearizability and Quiescent Consistency
@@ Property / cites work: Between Linearizability and Quiescent Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the decidability of some problems for regular trace languages
+Normal rank
@@ Property / cites work @@
+Q4601893
@@ Property / cites work: Q4601893 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of equivalence problems for commutative grammars
+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 @@
+Verifying Concurrent Programs against Sequential Specifications
+Normal rank
@@ Property / cites work @@
+Parameterised Linearisability
@@ Property / cites work: Parameterised Linearisability / rank @@
+Normal rank
@@ Property / cites work @@
+On verifying causal consistency
@@ Property / cites work: On verifying causal consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative relaxation of concurrent data structures
+Normal rank
@@ Property / cites work @@
+On reducing linearizability to state reachability
@@ Property / cites work: On reducing linearizability to state reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable Refinement Checking for Concurrent Objects
+Normal rank