YMCA

DOI10.1016/j.entcs.2005.12.108zbMath1316.68088OpenAlexW2154619665WikidataQ57801839 ScholiaQ57801839MaRDI QIDQ5262955

Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.108

zbMATH Keywords

process algebraMarkov chainconcurrency theory

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) 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

A Tutorial on Interactive Markov Chains ⋮ Reduction semantics in Markovian process algebra ⋮ Measurable stochastics for Brane calculus ⋮ Modular Markovian Logic ⋮ The How and Why of Interactive Markov Chains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive Markov chains. And the quest for quantified quality
• Specification styles in distributed systems design and verification
• The theory of interactive generalized semi-Markov processes
• Automated compositional Markov chain generation for a plain-old telephone system
• Process algebra for performance evaluation