Concurrency and Probability
From MaRDI portal
Publication:5145292
DOI10.1145/3209108.3209202zbMath1497.68329MaRDI QIDQ5145292
Ugo Montanari, Roberto Bruni, Hernán Melgratti
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3209108.3209202
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Unnamed Item, Bayesian strategies: probabilistic programs as generalised graphical models, Bayesian network semantics for Petri nets