Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems

DOI10.1007/978-3-642-37036-6_23zbMath1381.68206OpenAlexW93323502MaRDI QIDQ5326299

Joost-Peter Katoen, Doron A. 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)

Related Items (2)

Unnamed Item ⋮ Probabilistic Analysis of Binary Sessions

This page was built for publication: Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems