Equivalence Relations for Stochastic Automata Networks

This publication has 6 references indexed in Scilit:

• Exact and ordinary lumpability in finite Markov chains
  Journal of Applied Probability, 1994
• Specification techniques for Markov reward models
  Discrete Event Dynamic Systems, 1993
• Stochastic automata network of modeling parallel systems
  IEEE Transactions on Software Engineering, 1991
• Lumpability and time reversibility in the aggregation-disaggregation method for large markov chains
  Communications in Statistics. Stochastic Models, 1989
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
  Operations Research, 1984
• Kronecker products and shuffle algebra
  IEEE Transactions on Computers, 1981