High-level modelling and efficient analysis of randomized protocols.
fairnessMarkov decision processmodeling randomized distributed systemspartial order reductionprobabilistic model checking
Special processes (60K99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) 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) Randomized algorithms (68W20) Markov and semi-Markov decision processes (90C40)
- Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- The probabilistic model checking landscape
- scientific article; zbMATH DE number 7280017
- Model checking probabilistic systems
- Netter: probabilistic, stateful network models
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- scientific article; zbMATH DE number 2090703 (Why is no real title available?)
- Lazy probabilistic model checking without determinisation
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
This page was built for publication: High-level modelling and efficient analysis of randomized protocols.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100906)
