scientific article; zbMATH DE number 1397300
From MaRDI portal
Publication:4936893
zbMath0937.60065MaRDI QIDQ4936893
Publication date: 1 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
