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

@@ 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