Fairness of actions in system computations (Q2502272): Difference between revisions

@@ Property / author @@
+Maria Rita Di Berardini
@@ Property / author: Maria Rita Di Berardini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2101725378
@@ Property / OpenAlex ID: W2101725378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484505
@@ Property / cites work: Q4484505 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+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 @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast asynchronous systems in dense time
@@ Property / cites work: Fast asynchronous systems in dense time / 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 and read arcs in petri nets
+Normal rank
@@ Property / cites work @@
+Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank