Publication:4485810
From MaRDI portal
zbMath0953.68015MaRDI QIDQ4485810
Publication date: 19 June 2000
62M99: Inference from stochastic processes
94-02: Research exposition (monographs, survey articles) pertaining to information and communication theory
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Revisiting the matrix‐free solution of Markov regenerative processes, Approximating Matrix-Exponential Distributions by Global Randomization, Bio-PEPAd: a non-Markovian extension of Bio-PEPA, Performability assessment by model checking of Markov reward models, Categorical foundations for randomly timed automata, Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy, Model checking expected time and expected reward formulae with random time bounds, Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
Uses Software