Approximating Markov Processes by Averaging (Q5895176): Difference between revisions

@@ Property / cites work @@
+One-parameter semigroups of positive operators
@@ Property / cites work: One-parameter semigroups of positive operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Inverse Limits of Measure Spaces
@@ Property / cites work: Inverse Limits of Measure Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449236
@@ Property / cites work: Q4449236 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic coalgebraic logic
@@ Property / cites work: Stochastic coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995021
@@ Property / cites work: Q3995021 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks and bisimulation in categories of Markov processes
+Normal rank
@@ Property / cites work @@
+Continuous Capacities on Continuous State Spaces
@@ Property / cites work: Continuous Capacities on Continuous State Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Previsions
@@ Property / cites work: Continuous Previsions / rank @@
+Normal rank
@@ Property / cites work @@
+Prevision Domains and Convex Powercones
@@ Property / cites work: Prevision Domains and Convex Powercones / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation Hemi-metrics between Infinite-State Stochastic Games
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827369
@@ Property / cites work: Q5827369 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation theorems for Markov operators
@@ Property / cites work: Approximation theorems for Markov operators / rank @@
+Normal rank
@@ Property / cites work @@
+Introdction to Measure and Probability
@@ Property / cites work: Introdction to Measure and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Semantics: Connecting Processes and Process Logics
+Normal rank
@@ Property / cites work @@
+Q5516901
@@ Property / cites work: Q5516901 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Q4049667
@@ Property / cites work: Q4049667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417860
@@ Property / cites work: Q4417860 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability with Martingales
@@ Property / cites work: Probability with Martingales / rank @@
+Normal rank
@@ Property / cites work @@
+Operator-theoretical treatment of Markoff's process and mean ergodic theorem
+Normal rank