scientific article; zbMATH DE number 1786472

zbMath0990.68020MaRDI QIDQ4547764

Boudewijn R. Haverkort

Publication date: 21 August 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900038

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 (6)

Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Equivalences for fluid stochastic Petri nets ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ Logical characterization of fluid equivalences

Uses Software

• SPNP

This page was built for publication: