Separable equilibrium state probabilities via time reversal in Markovian process algebra

DOI10.1016/j.tcs.2005.08.007zbMath1080.68079MaRDI QIDQ2576953

Yanyan Li

Publication date: 29 December 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.08.007

zbMATH Keywords

Markov chains; process algebra; stochastic models; agents

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

PRODUCT-FORM IN G-NETWORKS, Discrete time queueing networks with product form steady state. Availability and performance analysis in an integrated model, Separable solutions for Markov processes in random environments, Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets, Semi-Product-Form Solution for PEPA Models with Functional Rates

Uses Software

• SPADES

Cites Work

• Unnamed Item
• Unnamed Item
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Turning back time in Markovian process algebra.
• Reversed processes, product forms and a non-product form
• Special issue: G-networks
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• A Compositional Approach to Performance Modelling
• Closed Queuing Systems with Exponential Servers