Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325835zbMATH OpenOpenAlexFDO

Authors Natalia López, Manuel Núñez

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

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)

Recommendations

• Probabilistic extensions of process algebras.
• Algebraic theory of probabilistic processes.
• Algebraic theory of probabilistic and nondeterministic processes.
• A model of probabilistic processes
• Probabilistic communicating processes

Cited in

(19)

• Equivalence checking 40 years after: a review of bisimulation tools
• A full process algebraic representation of ant colony optimization
• Constraint Markov chains
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Model independent approach to probabilistic models
• Process algebra having inherent choice: revised semantics for concurrent systems
• Probabilistic Analysis of Binary Sessions
• Symbolic approaches to probability distributions in process algebra
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• Consistency and refinement for interval Markov chains
• Algebraic theory of probabilistic and nondeterministic processes.
• Behavioural equivalences of a probabilistic pi-calculus
• Interval probability for sessions types
• A Tutorial on Interactive Markov Chains
• Relating strong behavioral equivalences for processes with nondeterminism and probabilities
• Probabilistic extensions of process algebras.
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Value-passing CCS with noisy channels
• Bisimulation and Simulation Relations for Markov Chains

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)