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

@@ 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-22012-8_36
+Normal rank
@@ Property / OpenAlex ID @@
+W2151448199
@@ Property / OpenAlex ID: W2151448199 / rank @@
+Normal rank
@@ 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