Separable equilibrium state probabilities via time reversal in Markovian process algebra
نویسندگان
چکیده
منابع مشابه
Separable equilibrium state probabilities via time reversal in Markovian process algebra
The Reversed Compound Agent Theorem (RCAT) is a compositional result that uses Markovian process algebra (MPA) to derive the reversed process of certain interactions between two continuous time Markov chains at equilibrium. From this reversed process, together with the given, forward process, the joint state probabilities can be expressed as a product-form, although no general algorithm has pre...
متن کاملTurning back time in Markovian process algebra
Product-form solutions in Markovian process algebra (MPA) are constructed using properties of reversed processes. The compositionality of MPAs is directly exploited, allowing a large class of hierarchically constructed systems to be solved for their state probabilities at equilibrium. The paper contains new results on both reversed stationary Markov processes as well as MPA itself and includes ...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملEvaluating failure time probabilities for a Markovian wear process
We present simpli0ed analytical results for the numerical evaluation of failure time probabilities for a single-unit system whose cumulative wear over time depends on its external environment. The failure time distribution is derived as a one-dimensional Laplace–Stieltjes transform with respect to the temporal variable using a direct solution approach and by inverting an existing two-dimensiona...
متن کاملGeneralized Semi-Markovian Process Algebra
We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.08.007