Strong fairness and ultra metrics (Q1193893): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Proof rules and transformations dealing with fairness
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Fairness and conspiracies
@@ Property / cites work: Fairness and conspiracies / rank @@
+Normal rank
@@ Property / cites work @@
+Adherences of languages
@@ Property / cites work: Adherences of languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677159
@@ Property / cites work: Q3677159 / rank @@
+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 @@
+About fair asynchrony
@@ Property / cites work: About fair asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness, distances and degrees
@@ Property / cites work: Fairness, distances and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Order and metric in the stream semantics of elemental concurrency
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787456
@@ Property / cites work: Q3787456 / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimal number of \(\times\) operators to model regularity in fair SCCS
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347267
@@ Property / cites work: Q3347267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3823122
@@ Property / cites work: Q3823122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753477
@@ Property / cites work: Q3753477 / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness and related properties in transition systems - a temporal logic to deal with fairness
+Normal rank