A general technique for proving lock-freedom (Q1001810): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2008.09.013
@@ Property / DOI: 10.1016/j.scico.2008.09.013 / 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 @@
+CalcCheck
@@ Property / describes a project that uses: CalcCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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.1016/j.scico.2008.09.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1973894849
@@ Property / OpenAlex ID: W1973894849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Lock-Freedom Using Well-Founded Orders
@@ Property / cites work: Verifying Lock-Freedom Using Well-Founded Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-based derivation of a scalable lock-free stack algorithm
+Normal rank
@@ Property / cites work @@
+Proving Linearizability Via Non-atomic Refinement
@@ Property / cites work: Proving Linearizability Via Non-atomic Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Verification of temporal properties
@@ Property / cites work: Verification of temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+A general lock-free algorithm using compare-and-swap
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors
+Normal rank
@@ Property / cites work @@
+Q2738289
@@ Property / cites work: Q2738289 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical implementations of non-blocking synchronization primitives
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2008.09.013
@@ Property / DOI: 10.1016/J.SCICO.2008.09.013 / rank @@
+Normal rank