Stochastic model checking of the stochastic quality calculus

DOI10.1007/978-3-319-15545-6_30MaRDI QIDQ5256368zbMATH OpenOpenAlexWikidataFDO

Authors Flemming Nielson, Hanne Riis Nielson, Kebin Zeng

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Recommendations

• Stochastic model checking
• scientific article; zbMATH DE number 176728
• Stochastic Pi-calculus Revisited
• scientific article; zbMATH DE number 2079828
• Interactive Markov chains. And the quest for quantified quality

Cites work

• A calculus of quality for robustness against unreliable communication
• A Compositional Approach to Performance Modelling
• An integrated approach for the specification and analysis of stochastic real-time systems
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• Model-checking continuous-time Markov chains
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Stochastic model checking
• Stochastic model checking of the stochastic quality calculus
• Validation of Stochastic Systems

Cited in

(5)

• scientific article; zbMATH DE number 2079828 (Why is no real title available?)
• A calculus of quality for robustness against unreliable communication
• Stochastic model checking of the stochastic quality calculus
• Model checking stochastic automata
• scientific article; zbMATH DE number 5494133 (Why is no real title available?)

This page was built for publication: Stochastic model checking of the stochastic quality calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256368)