Application research of process algebras on performance evaluation

MaRDI QIDQ3413692zbMATH OpenFDO

Authors Liang Ma, Ming Li, Jie Song, Junhua Gu

Publication date 18 December 2006

zbMATH Keywords

Markov process

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

• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 1538068
• Stochastic process algebras
• scientific article; zbMATH DE number 2079828
• Process algebra for performance evaluation

Cited in

(5)

• Performance estimates for applications: An algebraic framework
• Abstract interpretation of PEPA models
• A structural approach for modelling performance of systems using skeletons
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• A Compositional Approach to Performance Modelling

This page was built for publication: Application research of process algebras on performance evaluation

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