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

@@ Property / DOI @@
-.1007/s00165-011-0219-y
@@ Property / DOI: 10.1007/s00165-011-0219-y / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W05
@@ Property / Mathematics Subject Classification ID: 68W05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6367492
@@ Property / zbMATH DE Number: 6367492 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semaphore
@@ Property / zbMATH Keywords: semaphore / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+binary semaphore
@@ Property / zbMATH Keywords: binary semaphore / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mutual exclusion
@@ Property / zbMATH Keywords: mutual exclusion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+starvation freedom
@@ Property / zbMATH Keywords: starvation freedom / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0219-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2035587272
@@ Property / OpenAlex ID: W2035587272 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-011-0219-Y
@@ Property / DOI: 10.1007/S00165-011-0219-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:469360