Concurrency and probability: removing confusion, compositionally
From MaRDI portal
Publication:5145292
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(8)- Taming confusion for modeling and implementing probabilistic concurrent systems
- Bayesian strategies: probabilistic programs as generalised graphical models
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Event structures for Petri nets with persistence
- Bayesian network semantics for Petri nets
- Confluence Reduction for Probabilistic Systems
- Foundations of Software Science and Computational Structures
- Confusion-tolerant computation of probability in acyclic nets
This page was built for publication: Concurrency and probability: removing confusion, compositionally
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145292)