scientific article
From MaRDI portal
Publication:2729010
zbMath0970.68665MaRDI QIDQ2729010
Armin Zimmermann, Günter Hommel, Reinhard German, Jörn Freiheit
Publication date: 18 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) 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
Fluid Model Checking of Timed Properties, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Performance Analysis of Dynamic Priority Shifting, Performance evaluation in stochastic process algebra dtsdPBC
Uses Software