On reducing linearizability to state reachability (Q1641012): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+On Reducing Linearizability to State Reachability
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6504583
@@ Property / title @@
+On Reducing Linearizability to State Reachability (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68089
@@ Property / zbMATH Open document ID: 1395.68089 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-662-47666-6_8
@@ Property / DOI: 10.1007/978-3-662-47666-6_8 / rank @@
+Normal rank
@@ Property / published in @@
+Automata, Languages, and Programming
@@ Property / published in: Automata, Languages, and Programming / rank @@
+Normal rank
@@ Property / publication date @@
+November 2015Timestamp +2015-11-04T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-11-04T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 4 November 2015 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6504583
@@ Property / zbMATH DE Number: 6504583 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2795782844
@@ Property / OpenAlex ID: W2795782844 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1717387230
@@ Property / OpenAlex ID: W1717387230 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06882
@@ Property / arXiv ID: 1502.06882 / rank @@
+Normal rank
@@ Property / cites work @@
+An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
+Normal rank
@@ Property / cites work @@
+Model-checking of correctness conditions for concurrent objects
+Normal rank
@@ Property / cites work @@
+Verifying Concurrent Programs against Sequential Specifications
+Normal rank
@@ Property / cites work @@
+Tractable Refinement Checking for Concurrent Objects
+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 @@
+A Scalable, Correct Time-Stamped Stack
@@ Property / cites work: A Scalable, Correct Time-Stamped Stack / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for concurrent objects
@@ Property / cites work: Abstraction for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Shared Memories
@@ Property / cites work: Testing Shared Memories / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of linearizability
@@ Property / cites work: On the complexity of linearizability / rank @@
+Normal rank
@@ Property / cites work @@
+Aspect-Oriented Linearizability Proofs
@@ Property / cites work: Aspect-Oriented Linearizability Proofs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1641012