scientific article; zbMATH DE number 2087800

MaRDI QIDQ4738769zbMATH OpenFDO

Authors Stephen Gilmore, Jane Hillston, Marina Ribaudo

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2324/23240111.htm

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
• Product form solution for a class of PEPA models
• A net level performance analysis of stochastic Petri nets
• Stochastic process algebras
• scientific article; zbMATH DE number 1131474

Cited in

(11)

• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Abstract interpretation of PEPA models
• PEPA queues: capturing customer behaviour in queueing networks
• Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion
• A Precedence PEPA Model for Performance and Reliability Analysis
• scientific article; zbMATH DE number 1890702 (Why is no real title available?)
• scientific article; zbMATH DE number 2100582 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• Hybrid performance modelling of opportunistic networks
• Equivalence checking 40 years after: a review of bisimulation tools
• Formal techniques for performance analysis: blending SAN and PEPA

Describes a project that uses

Uses Software

• PRISM
• PEPA
• Möbius

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 Q4738769)