Concurrency and probability: removing confusion, compositionally

DOI10.1145/3209108.3209202MaRDI QIDQ5145292zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Hernan Melgratti, Ugo Montanari

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

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

• scientific article; zbMATH DE number 7147446
• Bayesian network semantics for Petri nets
• Foundations of Software Science and Computational Structures
• Taming confusion for modeling and implementing probabilistic concurrent systems
• Concurrency, Synchronization, and Conflicts in Petri Nets

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)