Taming confusion for modeling and implementing probabilistic concurrent systems

DOI10.1007/978-3-642-37036-6_23MaRDI QIDQ5326299zbMATH OpenOpenAlexFDO

Authors Joost-Peter Katoen, Doron Peled

Publication date 5 August 2013

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37036-6_23

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 7147446
• Concurrency and probability: removing confusion, compositionally
• Probabilistic time Petri nets
• Probability and Nondeterminism in Operational Models of Concurrency
• scientific article; zbMATH DE number 1822433

Cited in

(7)

• Computing Behavioral Relations for Probabilistic Concurrent Systems
• Confluence Reduction for Probabilistic Systems
• scientific article; zbMATH DE number 2090704 (Why is no real title available?)
• Probabilistic Analysis of Binary Sessions
• Concurrency and probability: removing confusion, compositionally
• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• Confusion-tolerant computation of probability in acyclic nets

This page was built for publication: Taming confusion for modeling and implementing probabilistic concurrent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326299)