Analyzing Markov Chains Using Kronecker Products eBook

Kronecker products are used to define the underlying Markov chain (MC) invarious modeling formalisms, including compositional Markovian models, hierarchical Markovian models, and stochastic process algebras. This title provides the developments in the solution of such MCs are reviewed from an algebraic point of view.