Validation of Stochastic Systems

DOI10.1007/B98484zbMath1203.68115OpenAlexW657718082MaRDI QIDQ5325835

Manuel A. Nunez, Natalia López

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (14)

Specification, testing and implementation relations for symbolic-probabilistic systems ⋮ Behavioural equivalences of a probabilistic pi-calculus ⋮ A Tutorial on Interactive Markov Chains ⋮ Interval probability for sessions types ⋮ A full process algebraic representation of ant colony optimization ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Value-passing CCS with noisy channels ⋮ Consistency and refinement for interval Markov chains ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities ⋮ Constraint Markov chains ⋮ Probabilistic Analysis of Binary Sessions ⋮ Bisimulation and Simulation Relations for Markov Chains ⋮ Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

This page was built for publication: Validation of Stochastic Systems