Performance modelling using probabilistic process algebra

MaRDI QIDQ2767986zbMATH OpenFDO

Authors Chris Tofts

Publication date 30 January 2002

zbMATH Keywords

probabilistic process algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Processes with probabilities, priority and time
• A Compositional Approach to Performance Modelling
• Process algebra for performance evaluation
• Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra
• scientific article; zbMATH DE number 836614

Cited in

(6)

• Processes with probabilities, priority and time
• Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra
• Traffic Modelling and Probabilistic Process Abstraction
• scientific article; zbMATH DE number 749807 (Why is no real title available?)
• scientific article; zbMATH DE number 1884419 (Why is no real title available?)
• Intuitive modelling and formal analysis of collective behaviour in foraging ants

This page was built for publication: Performance modelling using probabilistic process algebra

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