Trace-based derivation of a scalable lock-free stack algorithm (Q1019022): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-008-0092-5
@@ Property / DOI: 10.1007/s00165-008-0092-5 / rank @@
-Normal rank
@@ Property / author @@
-Robert J. Colvin
@@ Property / author: Robert J. Colvin / rank @@
-Normal rank
@@ Property / author @@
+Robert J. Colvin
@@ Property / author: Robert J. Colvin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Atomizer
@@ Property / describes a project that uses: Atomizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ 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/s00165-008-0092-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1996684662
@@ Property / OpenAlex ID: W1996684662 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding, decoding and data refinement
@@ Property / cites work: Encoding, decoding and data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+A refinement calculus for shared-variable parallel and distributed programming
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Atomizer: A dynamic atomicity checker for multithreaded programs
+Normal rank
@@ Property / cites work @@
+Randomized wait-free concurrent objects (extended abstract)
+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 @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement by calculation
@@ Property / cites work: Data refinement by calculation / rank @@
+Normal rank
@@ Property / cites work @@
+Practical implementations of non-blocking synchronization primitives
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors
+Normal rank
@@ Property / cites work @@
+Q4278674
@@ Property / cites work: Q4278674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank
@@ Property / DOI @@
+.1007/S00165-008-0092-5
@@ Property / DOI: 10.1007/S00165-008-0092-5 / rank @@
+Normal rank