scientific article; zbMATH DE number 1786475

MaRDI QIDQ4547767zbMATH OpenFDO

Authors Ed Brinksma, Holger Hermanns

Publication date 21 August 2002

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

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1397300
• Interactive Markov chains. And the quest for quantified quality
• Stochastic process algebras
• The how and why of interactive Markov chains
• Process algebra for performance evaluation

Cited in

(20)

• The reversible temporal process language
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Reduction semantics in Markovian process algebra
• A theory of stochastic systems. II: Process algebra
• Separable equilibrium state probabilities via time reversal in Markovian process algebra
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Simulation of generalised semi-Markov processes based on graph transformation systems
• The how and why of interactive Markov chains
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Tackling continuous state-space explosion in a Markovian process algebra
• On the Use of the Power Series Algorithm for General Markov Processes, with an Application to a Petri Net
• Static analysis of IMC
• An algebraic theory of Markov processes
• Stochastic model checking of the stochastic quality calculus
• YMCA: why Markov chain algebra?
• revTPL: The Reversible Temporal Process Language
• Equivalence checking 40 years after: a review of bisimulation tools
• Stochastic ambient calculus
• Generating the syntactic and semantics graphs for a Markovian process algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547767)