High-level modelling and efficient analysis of randomized protocols.
fairnessMarkov decision processprobabilistic model checkingpartial order reductionmodeling randomized distributed systems
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Randomized algorithms (68W20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Special processes (60K99) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- 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
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- Lazy probabilistic model checking without determinisation
- scientific article; zbMATH DE number 2090703 (Why is no real title available?)
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)
