YMCA: why Markov chain algebra?

DOI10.1016/J.ENTCS.2005.12.108MaRDI QIDQ5262955zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

Markov chainprocess algebraconcurrency 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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1786475
• scientific article; zbMATH DE number 1397300
• scientific article; zbMATH DE number 1864588
• Interactive Markov chains. And the quest for quantified quality
• Concurrency and composition in a stochastic world

Cites work

• scientific article; zbMATH DE number 3736680 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• Automated compositional Markov chain generation for a plain-old telephone system
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• Interactive Markov chains. And the quest for quantified quality
• Process algebra for performance evaluation
• Revisiting interactive Markov chains
• Specification styles in distributed systems design and verification
• The theory of interactive generalized semi-Markov processes

Cited in

(5)

• The how and why of interactive Markov chains
• Reduction semantics in Markovian process algebra
• Measurable stochastics for Brane calculus
• A Tutorial on Interactive Markov Chains
• Modular Markovian Logic

This page was built for publication: YMCA: why Markov chain algebra?

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