The compositional construction of Markov processes II

DOI10.1051/ita/2011015zbMath1216.18005arXiv1005.0949OpenAlexW2040673370MaRDI QIDQ3006162

Luisa de Francesco Albasini, Robert F. C. Walters, Nicoletta Sabadini

Publication date: 10 June 2011

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.0949

zbMATH Keywords

Markov processprobabilistic automatadistributedcategorical algebrahierarchicalweighted automaton

Mathematics Subject Classification ID

Related Items (2)

On the geometry and algebra of networks with state ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The compositional construction of Markov processes
• Handbook of weighted automata
• Verification of multiprocess probabilistic protocols
• Statecharts: a visual formalism for complex systems
• Cartesian bicategories. I
• A calculus of communicating systems
• Reactive, generative, and stratified models of probabilistic processes
• Seven trees in one
• Environment and Classical Channels in Categorical Quantum Mechanics
• On traced monoidal closed categories
• Traced monoidal categories
• Validation of Stochastic Systems
• A Compositional Approach to Performance Modelling
• Probabilistic automata

This page was built for publication: The compositional construction of Markov processes II