Separable equilibrium state probabilities via time reversal in Markovian process algebra

DOI10.1016/j.tcs.2005.08.007zbMath1080.68079OpenAlexW2130484471MaRDI 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 chainsprocess algebrastochastic modelsagents

Mathematics Subject Classification ID

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

Related Items (5)

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

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

This page was built for publication: Separable equilibrium state probabilities via time reversal in Markovian process algebra