On behavioural pseudometrics and closure ordinals (Q456100): Difference between revisions

@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Approximate reasoning for real-time probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q5471419
@@ Property / cites work: Q5471419 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Game Refinement Relations and Metrics
@@ Property / cites work: Game Refinement Relations and Metrics / rank @@
+Normal rank