Correctness and concurrent complexity of the black-white bakery algorithm (Q736464): Difference between revisions

@@ 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-016-0364-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2322615457
@@ Property / OpenAlex ID: W2322615457 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59436837
@@ Property / Wikidata QID: Q59436837 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
+Normal rank
@@ Property / cites work @@
+Long lived adaptive splitter and applications
@@ Property / cites work: Long lived adaptive splitter and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137889
@@ Property / cites work: Q5137889 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+On interprocess communication. I: Basic formalism
@@ Property / cites work: On interprocess communication. I: Basic formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Q2738289
@@ Property / cites work: Q2738289 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating State Transition Systems for Fine-Grained Concurrent Resources
+Normal rank
@@ Property / cites work @@
+The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
+Normal rank