Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073): Difference between revisions

@@ Property / author @@
-Flavio Corradini
@@ Property / author: Flavio Corradini / rank @@
-Normal rank
@@ Property / author @@
-Walter Vogler
@@ Property / author: Walter Vogler / rank @@
-Normal rank
@@ Property / author @@
+Flavio Corradini
@@ Property / author: Flavio Corradini / rank @@
+Normal rank
@@ Property / author @@
+Walter Vogler
@@ Property / author: Walter Vogler / rank @@
+Normal rank
@@ 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/978-3-540-95891-8_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2167703610
@@ Property / OpenAlex ID: W2167703610 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
+Normal rank
@@ Property / cites work @@
+Checking a Mutex Algorithm in a Process Algebra with Fairness
+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 @@
+Time and Fairness in a Process Algebra with Non-blocking Reading
+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 @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813266
@@ Property / cites work: Q3813266 / 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