Publication:4813203
From MaRDI portal
zbMath1065.68595MaRDI QIDQ4813203
Marta Kwiatkowska, Gethin Norman, António Pacheco
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990152.htm
65C40: Numerical analysis or methods applied to Markov chains
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Consecutive customer losses in oscillating \(GI^X/M//n\) systems with state dependent services rates, Consecutive customer losses in regular and oscillating \(M^{X}/ G /1/ n\) systems, Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy, Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation, Model checking expected time and expected reward formulae with random time bounds
Uses Software