Publication:3619416
From MaRDI portal
zbMath1190.60001MaRDI QIDQ3619416
Publication date: 6 April 2009
Full work available at URL: http://ebooks.worldscinet.com/ISBN/9781848162891/toc.shtml
60J25: Continuous-time Markov processes on general state spaces
60J05: Discrete-time Markov processes on general state spaces
60A05: Axioms; other general questions in probability
60J99: Markov processes
60-02: Research exposition (monographs, survey articles) pertaining to probability theory
Related Items
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations, The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata, Free Energy of Petri Nets, Bisimulation for Markov Decision Processes through Families of Functional Expressions, Random Measurable Selections, Affine Monads and Side-Effect-Freeness, Beyond Bell's theorem. II: Scenarios with arbitrary causal structure, Measure Transformer Semantics for Bayesian Machine Learning, Approximating Markov Processes by Averaging, A metrized duality theorem for Markov processes, ``Keep definition, change category -- a practical approach to state-based system calculi, The expectation monad in quantum foundations, Algebraic properties of stochastic effectivity functions, Measurable stochastics for Brane calculus, Generic weakest precondition semantics from monads enriched with order, Behavioural equivalences for coalgebras with unobservable moves, Structural operational semantics for continuous state stochastic transition systems, Probabilistic NetKAT, A Theory of Slicing for Probabilistic Control Flow Graphs, A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, Modular Markovian Logic, Statistical Model Checking for Networks of Priced Timed Automata