scientific article; zbMATH DE number 1397300

zbMath0937.60065MaRDI QIDQ4936893

Holger Hermanns

Publication date: 1 February 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27)

Related Items (11)

Formal techniques for performance analysis: blending SAN and PEPA ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Process algebra for performance evaluation ⋮ Testing from a stochastic timed system with a fault model ⋮ Optimal state-space lumping in Markov chains ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity ⋮ Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time ⋮ The theory of interactive generalized semi-Markov processes

This page was built for publication: