Netter: probabilistic, stateful network models
From MaRDI portal
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Theory of programming languages (68N15) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)
Recommendations
Cites work
- scientific article; zbMATH DE number 6905198 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- Cantor meets Scott: semantic foundations for probabilistic networks
- Netkat, semantic foundations for networks
- Netter: probabilistic, stateful network models
- Probabilistic NetKAT
- Probability and Computing
Cited in
(5)
This page was built for publication: Netter: probabilistic, stateful network models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2234099)