Performance analysis of probabilistic action systems

DOI10.1007/S00165-004-0037-6MaRDI QIDQ1764427zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Xianqiang Yang, Stefan Hallerstede, Michael J. Butler

Publication date 24 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/258925/1/perfanalysis.pdf

zbMATH Keywords

Markov decision processSimulationTrace refinement

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Action refinement for probabilistic processes with true concurrency models
• Model checking action system refinements
• Compositional specification and analysis of cost-based properties in probabilistic programs
• Synthesizing efficient systems in probabilistic environments
• Abstract probabilistic automata

Cited in

(1)

• scientific article; zbMATH DE number 749807 (Why is no real title available?)

Describes a project that uses

Uses Software

• SHARPE
• PEPA

This page was built for publication: Performance analysis of probabilistic action systems

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