Validation of Stochastic Systems

DOI10.1007/b98484zbMath1203.68089MaRDI QIDQ5325833

E. P. de Vink, Ana Sokolova

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98484

zbMATH Keywords

nondeterminism; probabilistic automata; probabilistic bisimulation; probabilistic transition systems; parallel composition; preservation and reflection of bisimulation

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Conditional Probabilities over Probabilistic and Nondeterministic Systems, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Weak bisimulation for probabilistic timed automata, The compositional construction of Markov processes, A hierarchy of probabilistic system types, Branching bisimulation congruence for probabilistic systems, Switched PIOA: parallel composition via distributed scheduling, Axiomatizations for probabilistic finite-state behaviors, SOS formats and meta-theory: 20 years after, Making random choices invisible to the scheduler, Relating strong behavioral equivalences for processes with nondeterminism and probabilities, Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes, The compositional construction of Markov processes II, On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems