Concurrency and Probability

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

zbMATH Keywords

Petri nets; confusion; dynamic nets; OR causality; persistent places

Mathematics Subject Classification ID

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