scientific article; zbMATH DE number 2090149

zbMath1064.68523MaRDI QIDQ4808842

Holger Hermanns, Hubert Garavel

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910410.htm

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

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (10)

A compositional model to reason about end-to-end QoS in stochastic Reo connectors ⋮ A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ From generic partition refinement to weighted tree automata minimization ⋮ Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking ⋮ The How and Why of Interactive Markov Chains ⋮ CADP ⋮ Compositional Abstraction for Stochastic Systems ⋮ Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Uses Software

• LOTOS
• PEPA

This page was built for publication: