Validation of Stochastic Systems
From MaRDI portal
Publication:5325833
DOI10.1007/b98484zbMath1203.68089MaRDI QIDQ5325833
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
nondeterminism; probabilistic automata; probabilistic bisimulation; probabilistic transition systems; parallel composition; preservation and reflection of bisimulation
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, 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, The compositional construction of Markov processes II, On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems