Validation of Stochastic Systems
From MaRDI portal
Publication:5325835
DOI10.1007/B98484zbMATH Open1203.68115OpenAlexW657718082MaRDI QIDQ5325835FDOQ5325835
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
Recommendations
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (18)
- Probabilistic Analysis of Binary Sessions
- Constraint Markov chains
- Title not available (Why is that?)
- A full process algebraic representation of ant colony optimization
- Algebraic theory of probabilistic and nondeterministic processes.
- Interval probability for sessions types
- Equivalence checking 40 years after: a review of bisimulation tools
- A Tutorial on Interactive Markov Chains
- Consistency and refinement for interval Markov chains
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Process algebra having inherent choice: revised semantics for concurrent systems
- Bisimulation and Simulation Relations for Markov Chains
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Behavioural equivalences of a probabilistic pi-calculus
- Probabilistic extensions of process algebras.
- Value-passing CCS with noisy channels
- Symbolic approaches to probability distributions in process algebra
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325835)
