Concurrency and Probability

DOI10.1145/3209108.3209202zbMath1497.68329OpenAlexW2963312557MaRDI 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

zbMATH Keywords

Petri netsconfusiondynamic netsOR causalitypersistent places

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) 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)

Related Items (3)

Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Bayesian network semantics for Petri nets

This page was built for publication: Concurrency and Probability