Liveness-Preserving Atomicity Abstraction (Q3012940): Difference between revisions

@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison Under Abstraction for Verifying Linearizability
+Normal rank
@@ Property / cites work @@
+Proving that programs eventually do something good
+Normal rank
@@ Property / cites work @@
+Abstraction for Concurrent Objects
@@ Property / cites work: Abstraction for Concurrent Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Proving that non-blocking algorithms don't block
@@ Property / cites work: Proving that non-blocking algorithms don't block / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness-Preserving Atomicity Abstraction
@@ Property / cites work: Liveness-Preserving Atomicity Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436059
@@ Property / cites work: Q4436059 / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable lock-free stack algorithm
@@ Property / cites work: A scalable lock-free stack algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting atoms safely
@@ Property / cites work: Splitting atoms safely / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank