Publication:4936893
From MaRDI portal
zbMath0937.60065MaRDI QIDQ4936893
Publication date: 1 February 2000
60J27: Continuous-time Markov processes on discrete state spaces
Related Items
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity, Process algebra for performance evaluation, Formal techniques for performance analysis: blending SAN and PEPA, A fluid analysis framework for a Markovian process algebra, Testing from a stochastic timed system with a fault model, Optimal state-space lumping in Markov chains, The theory of interactive generalized semi-Markov processes, Performance measure sensitive congruences for Markovian process algebras, Unnamed Item, Unnamed Item, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time