Starvation-free mutual exclusion with semaphores (Q469360): Difference between revisions

@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Fair mutual exclusion with unfair P and V operations
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of the “THE”-multiprogramming system
+Normal rank
@@ Property / cites work @@
+A starvation-free solution to the mutual exclusion problem
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting forward simulations to cope with liveness
+Normal rank
@@ Property / cites work @@
+Universal extensions to simulate specifications
@@ Property / cites work: Universal extensions to simulate specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Starvation-free mutual exclusion with semaphores
@@ Property / cites work: Starvation-free mutual exclusion with semaphores / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Q3122691
@@ Property / cites work: Q3122691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Completeness of ASM Refinement
@@ Property / cites work: Completeness of ASM Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002512
@@ Property / cites work: Q4002512 / rank @@
+Normal rank