Q5087789 (Q5087789): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06954
@@ Property / arXiv ID: 2011.06954 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3415147
@@ Property / cites work: Q3415147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633934
@@ Property / cites work: Q5633934 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic automata: stability, nondeterminism, and prediction
+Normal rank
@@ Property / cites work @@
+The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
+Normal rank
@@ Property / cites work @@
+Algebraic properties of stochastic effectivity functions
+Normal rank
@@ Property / cites work @@
+Special Topics in Mathematics for Computer Scientists
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic over general measurable spaces – a survey
+Normal rank
@@ Property / cites work @@
+Q5343895
@@ Property / cites work: Q5343895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable relations
@@ Property / cites work: Measurable relations / rank @@
+Normal rank
@@ Property / cites work @@
+Some Selection Theorems for Measurable Functions
@@ Property / cites work: Some Selection Theorems for Measurable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599448
@@ Property / cites work: Q5599448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044675
@@ Property / cites work: Q4044675 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank