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

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G10
@@ Property / Mathematics Subject Classification ID: 03G10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6098073
@@ Property / zbMATH DE Number: 6098073 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal semantics
@@ Property / zbMATH Keywords: formal semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioural pseudometric
@@ Property / zbMATH Keywords: behavioural pseudometric / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+least fixed point
@@ Property / zbMATH Keywords: least fixed point / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+closure ordinal
@@ Property / zbMATH Keywords: closure ordinal / 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.1016/j.ipl.2012.06.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2010466545
@@ Property / OpenAlex ID: W2010466545 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:456100