Liveness of a mutex algorithm in a fair process algebra (Q1015393): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-009-0092-9
@@ Property / DOI: 10.1007/s00236-009-0092-9 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2110430770
@@ Property / OpenAlex ID: W2110430770 / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness of components in system computations
@@ Property / cites work: Fairness of components in system computations / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness of actions in system computations
@@ Property / cites work: Fairness of actions in system computations / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness of a mutex algorithm in a fair process algebra
+Normal rank
@@ Property / cites work @@
+Measuring the performance of asynchronous systems with PAFAS
+Normal rank
@@ Property / cites work @@
+Comparing the worst-case efficiency of asynchronous systems with PAFAS
+Normal rank
@@ Property / cites work @@
+Weak and strong fairness in CCS
@@ Property / cites work: Weak and strong fairness in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation on speed: Worst-case efficiency
@@ Property / cites work: Bisimulation on speed: Worst-case efficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
+Normal rank
@@ Property / cites work @@
+Automated analysis of mutual exclusion algorithms using CCS
+Normal rank
@@ Property / DOI @@
+.1007/S00236-009-0092-9
@@ Property / DOI: 10.1007/S00236-009-0092-9 / rank @@
+Normal rank