scientific article; zbMATH DE number 1786475
From MaRDI portal
Publication:4547767
zbMath0990.68021MaRDI QIDQ4547767
Publication date: 21 August 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900183
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Static analysis of IMC ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ The How and Why of Interactive Markov Chains ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ A theory of stochastic systems. II: Process algebra ⋮ Stochastic Model Checking of the Stochastic Quality Calculus ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
This page was built for publication:
